The Software Process

Author(s):  
Bruce I. Blum

Now that the foundation has been laid, I can turn to the principal concern of this book: software design. I use the word design in its most expansive sense. That is, design is contrasted with discovery; it encompasses all deliberate modifications of the environment, in this case modifications that employ software components. Thus, software design should not be interpreted as a phase in the development of a product— an activity that begins after some prerequisite is complete and that terminates with the acceptance of a work product. The context of software design in Part III is extended to include all aspects of the software process from the design of a response to a real-world need (which ultimately may be expressed as a requirements document) through the design of changes to the product (i.e., lifetime maintenance). This broader use of “design” can be confusing, and the reader may think of software design as the equivalent of the software process. In what follows, the goal is to discover the essential nature of software design, which I also shall refer to as the software process. what of the foundation constructed so laboriously during the first two parts of the book? It is not one of concrete and deep pilings. Rather it is composed of crushed rock. It can support a broad-based model of software design, but it may be unstable when it comes to specifics. The foundation has been chipped from the monolith of Positivism, of Technical Rationality. Its constituents are solid and cohesive models, but they defy unification and resist integration. we interpret them as science, technology, culture, philosophy, cognition, emotion, art; they comprise the plural realities from which we compose human knowledge. Unfortunately, my description of the foundation holds little promise of broad, general answers. Indeed, it suggests that science may be of limited help to design and that we may never discover the essence of design. That is, we must accept design as a human activity; whatever answers we may find will be valid within narrow domains where knowledge is determined by its context. Thus, Parts I and II prepare us to accept that the study of software design may not be amenable to systematic analysis.

2014 ◽  
Vol 678 ◽  
pp. 295-298
Author(s):  
Shan Ying Cheng ◽  
Xue Mei Zhou ◽  
Qin Jiang

In order to acquire large traffic data, a wireless vehicle detector based on anisotropic magnetoresistive sensors and ZigBee technology is design. The principle, system design and software design are introduced in detail. The experiment result shows that the wireless vehicle detector can detect the presence and the driving direction of a vehicle. Make further effort, the speed of a vehicle can be estimated. The vehicle detector will be widely applied with its easy installation and high performance.


Author(s):  
P. Ciaccia ◽  
P. Ciancarini ◽  
W. Penzo

The use of formal methods early in the development process has been advocated as a way of improving the quality of software products and their production process. Here we study the influence of a formal requirements document on the next phase in the software process, that is design. We suggest that formal design should coherently follow from formal requirements. We show that two different formal notations can be effectively used, one for writing requirements specification and one for design specification. We also consider how a design specification can be formally checked with respect to requirements specification. The notations we choose are well known: the Z notation for requirements and the Larch two-tiered language for design. We show how a number of tools based on these notations can be used to improve the quality of the documents produced during the development process.


Author(s):  
Kiran Shinde ◽  
Rupali Bhangale

Internet of things (IoT) is the next Buzz word in Computing. It is going to touch much more facets of our lives.It involves real world, physical objects with embedded computational and networking capabilities communicating with one another without human intervention on the global Internet. IoT can be assumed as an umbrella term for interconnected technologies, objects, machines and their services.Due to which objects are communicating   Greater connectivity and technological advancement [1,2] the education has been enriched and expanded. This paper proposes a model for transforming today’s education into SMART education with the use of IOT. There are many areas where human activity recognition is done by using different sensors. Now education sector needs to be connected with such emerging technology.The proposed model will help the students to enhance their grasping level while learning without hesitation.


2011 ◽  
Vol 80-81 ◽  
pp. 1000-1005
Author(s):  
Qiang Li ◽  
Jian Zhong Li

The applicability and accuracy of whole set oil-immersed pump lectotype are the key points to improve the recovery ratio of oil field and to conserve energy. This paper have conceived the construction and implementation of the expert system of whole set oil-immersed pump lectotype and discussed in several aspects: such as systematic analysis and design, the construction of engineering control platform, the development of plug-in software, the construction of intelligent system and the execution of software design and so on. It has integrated the synthetic approach with expert System of Whole Set Oil-immersed Pump lectotype.


2020 ◽  
Vol 376 (1816) ◽  
pp. 20190726 ◽  
Author(s):  
A. Bevan ◽  
E. R. Crema

This paper responds to a resurgence of interest in constructing long-term time proxies of human activity, especially but not limited to models of population change over the Pleistocene and/or Holocene. While very much agreeing with the need for this increased attention, we emphasize three important issues that can all be thought of as modifiable reporting unit problems: the impact of (i) archaeological periodization, (ii) uneven event durations and (iii) geographical nucleation-dispersal phenomena. Drawing inspiration from real-world examples from prehistoric Britain, Greece and Japan, we explore their consequences and possible mitigation via a reproducible set of tactical simulations. This article is part of the theme issue ‘Cross-disciplinary approaches to prehistoric demography’.


2019 ◽  
Vol 116 (45) ◽  
pp. 22452-22457 ◽  
Author(s):  
Dongli Duan ◽  
Changchun Lv ◽  
Shubin Si ◽  
Zhen Wang ◽  
Daqing Li ◽  
...  

Catastrophic and major disasters in real-world systems, such as blackouts in power grids or global failures in critical infrastructures, are often triggered by minor events which originate a cascading failure in interdependent graphs. We present here a self-consistent theory enabling the systematic analysis of cascading failures in such networks and encompassing a broad range of dynamical systems, from epidemic spreading, to birth–death processes, to biochemical and regulatory dynamics. We offer testable predictions on breakdown scenarios, and, in particular, we unveil the conditions under which the percolation transition is of the first-order or the second-order type, as well as prove that accounting for dynamics in the nodes always accelerates the cascading process. Besides applying directly to relevant real-world situations, our results give practical hints on how to engineer more robust networked systems.


Sign in / Sign up

Export Citation Format

Share Document