Log in

Relevant bibliographies by topics / Software construction method / Books

Books on the topic 'Software construction method'

To see the other types of publications on this topic, follow the link: Software construction method.

Author: Grafiati

Published: 30 May 2022

Last updated: 31 May 2022

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 37 books for your research on the topic 'Software construction method.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse books on a wide variety of disciplines and organise your bibliography correctly.

1

IFIP, TC8/WG8 1/8 2. Working conference on method engineering :. principles of method construction and tool support (1996 Atlanta USA). Method engineering: Principles of method construction and tool support : proceedings of the IFIP TC8/WG8.1/8.2 working conference on method engineering. London: Chapman & Hall, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Abrial, Jean-Raymond, and Uwe Glässer, eds. Rigorous Methods for Software Construction and Analysis. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-11447-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Inheritance relationships for disciplined software construction. London: Springer, 2002.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Dedicated digital processors: Methods in hardware/software system design. Chichester, West Sussex, England: John Wiley, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Broy, Manfred, and Stefan Jähnichen, eds. KORSO: Methods, Languages, and Tools for the Construction of Correct Software. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0015452.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Constantine, Larry L., and Scott W. Ambler. The Unified Process Construction Phase: Best practices for completing the unified process. Edited by NetLibrary Inc. Lawrence, Kan: R & D Books, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

W, Watson Bruce, ed. The correctness-by-construction approach to programming. Berlin: Springer, 2012.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Abrial, Jean-Raymond, and Uwe Glässer. Rigorous methods for software construction and analysis: Essays dedicated to Egon Börger on the occasion of his 60th birthday. Berlin: Springer, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Advanced Research Working Conference on Correct Hardware Design Methodologies (1993 Arles, France). Correct hardware design and verification methods: IFIP WG10.2 Advanced Research Working Conference, CHARME '93, Arles, Frances [sic], May 24-26, 1993 : proceedings. Berlin: Springer, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Zong he jiao tong ke yun shu niu fang zhen jian mo guan jian li lun yu fang fa. Beijing: Ke xue chu ban she, 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

11

Jacobson, Eldon L. Evaluation of the TRAF family of models: Testing of the CORFLO and FRESIM models : final report, Research Project GC 8286, Task 17, TRAF Software for I-405 Lane Construction. [Olympia, Wash.?]: Washington State Dept. of Transportation, Washington State Transportation Commission, Transit, Research, and Intermodal Planning (TRIP) Division, in cooperation with U.S. Dept. of Transportation, Federal Highway Administration, 1992.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

12

Reliable design of medical devices. 2nd ed. Boca Raton, Fl: Taylor&Francis, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

13

Reliable design of medical devices. New York: Marcel Dekker, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

14

Fries, Richard C. Reliable design of medical devices. 2nd ed. Boca Raton, Fl: Taylor & Francis, 2006.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

15

Fries, Richard C. Reliable design of medical devices. 2nd ed. Boca Raton, FL: CRC/Taylor & Francis, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

16

(Editor), Sjaak Brinkkemper, Kalle Lyytinen (Editor), and Richard Welke (Editor), eds. Method Engineering - Principles of method construction and tool support (IFIP International Federation for Information Processing). Springer, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

17

Jean-Raymond Abrial,Uwe Gl Sser. Rigorous Methods for Software Construction and Analysis. Springer, 2010.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

18

Mayer-Lindenberg, F. Dedicated Digital Processors: Methods in Hardware/Software Co-Design. Wiley, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

19

Mayer-Lindenberg, F. Dedicated Digital Processors: Methods in Hardware/Software Co-Design. Wiley & Sons, Incorporated, John, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

20

1949-, Broy M., and Jähnichen Stefan, eds. KORSO: Methods, languages, and tools for the construction of correct software : final report. Berlin: Springer, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

21

Claude, Jard, and Roux Olivier H, eds. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

22

Claude, Jard, and Roux Olivier H, eds. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

23

Claude, Jard, and Roux Olivier H, eds. Communicating embedded systems: Software and design : formal methods. Hoboken, NJ: ISTE Ltd/John Wiley and Sons, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

24

Constructing Correct Software (Formal Approaches to Computing and Information Technology). 2nd ed. Springer, 2004.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

25

(Editor), Manfred Broy, and Stefan Jahnichen (Editor), eds. Korso: Methods, Languages and Tools for the Construction of Correct Software : Final Report (Lecture Notes in Computer Science, 1009). Springer, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

26

Jard, Claude, and Olivier H. Roux. Communicating Embedded Systems: Software and Design. Wiley & Sons, Incorporated, John, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

27

Jard, Claude, and Olivier H. Roux. Communicating Embedded Systems: Software and Design. Wiley & Sons, Incorporated, John, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

28

Jard, Claude, and Olivier H. Roux. Communicating Embedded Systems: Software and Design. Wiley & Sons, Incorporated, John, 2013.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

29

(Editor), Manfred Broy, and Stefan Jahnichen (Editor), eds. Korso: Methods, Languages, and Tools for the Construction of Correct Software : Final Report (Lecture Notes in Computer Science). Springer-Verlag, 1995.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

30

Constantine, Larry L., and Scott W. Ambler. The Unified Process Construction Phase: Best Practices in Implementing the UP. CMP Books, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

31

Primiero, Giuseppe. On the Foundations of Computing. Oxford University Press, 2019. http://dx.doi.org/10.1093/oso/9780198835646.001.0001.

Full text

Abstract:

This book is a technical, historical, and conceptual investigation into the three main methodological approaches to the computational sciences: mathematical, engineering, and experimental. Part I explores the background behind the formal understanding of computing, originating at the end of the nineteenth century, and it invesitagtes the formal origins and conceptual development of the notions of computation, algorithm, and program.Part II overviews the construction of physical devices to performautomated tasks and it considers associated technical and conceptual issues. It starts with the design and construction of the first generation of computingmachines, explores their evolution and progress in engineering (for both hardware and software), and investigates their theoretical and conceptual problems. Part III analyses the methods and principles of experimental sciences founded on computationalmethods. It studies the use ofmachines to performscientific tasks,with particular reference to computer models and simulations. Each part aims at defining a notion of computational validity according to the corresponding methodological approach.

APA, Harvard, Vancouver, ISO, and other styles

32

1966-, Ambler Scott W., and Constantine Larry L, eds. The Unified process construction phase: Best practices for completing the unified process. Lawrence, Kan: CMP Books, 2000.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

33

Hartmut, Ehrig, and Kreowski H. -J, eds. Formal methods in software and systems modeling: Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

34

Commercial Vehicles 2021. VDI Verlag, 2021. http://dx.doi.org/10.51202/9783181023808.

Full text

Abstract:

Contents Ways to achieve Zero Emission ZF E-Mobility products and software for commercial vehicles ..... 1 Thermoelectric generators for heavy-duty vehicles as an economical waste heat recovery system ..... 17 Hybridization of heavy duty trucks – Market analysis and technology for high voltage as well as low voltage solutions ..... 33 Development processes and methods Lightweight construction and cost reduction – a lean, agile MSCDPS® product development process ..... 43 eDrive & Fuel Cell powertrain systems engineering for commercial vehicles ..... 55 Fatigue development of a 10x10 commercial vehicle frame using dynamic and/or strength simulation, virtual iteration and component testing together with measurement data acquisition ..... 73 Data-driven selection of vehicle variants for the E/E integration test – Increasing variants and complex technology versus test coverage ..... 81 Hydrogen propulsion High performance and efficiency hydrogen engine using westport fuel systems’ Commercially available HPDI fuel system ..... 97 E/E architecture and operating strategy for fuel-cell trucks – Challenges...

APA, Harvard, Vancouver, ISO, and other styles

35

Jean-Michel, Bergé, Levia Oz, and Rouillard Jacques, eds. Object-oriented modeling. Boston: Kluwer Academic Publishers, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

36

(Editor), Jean-Michel Bergé, Oz Levia (Editor), and Jacques Rouillard (Editor), eds. Current Issues in Electronic Modeling Set of Volumes 5-8 (Current Issues in Electronic Modeling). Springer, 1996.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

37

Ferreira, Eliel Alves, and João Vicente Zamperion. Excel: Uma ferramenta estatística. Brazil Publishing, 2021. http://dx.doi.org/10.31012/978-65-5861-400-5.

Full text

Abstract:

This study aims to present the concepts and methods of statistical analysis using the Excel software, in a simple way aiming at a greater ease of understanding of students, both undergraduate and graduate, from different areas of knowledge. In Excel, mainly Data Analysis Tools will be used. For a better understanding, there are, in this book, many practical examples applying these tools and their interpretations, which are of paramount importance. In the first chapter, it deals with introductory concepts, such as introduction to Excel, the importance of statistics, concepts and definitions. Being that in this will be addressed the subjects of population and sample, types of data and their levels of measurement. Then it brings a detailed study of Descriptive Statistics, where it will be studied percentage, construction of graphs, frequency distribution, measures of central tendency and measures of dispersion. In the third chapter, notions of probability, binomial and normal probability distribution will be studied. In the last chapter, Inferential Statistics will be approached, starting with the confidence interval, going through the hypothesis tests (F, Z and t tests), ending with the statistical study of the correlation between variables and simple linear regression. It is worth mentioning that the statistical knowledge covered in this book can be useful for, in addition to students, professionals who want to improve their knowledge in statistics using Excel.

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!