Увійти

Готові списки джерел за темами / Software construction method / Книги

Книги з теми "Software construction method"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Software construction method.

Автор: Grafiati

Опубліковано: 30 травня 2022

Оновлено: 31 травня 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-37 книг для дослідження на тему "Software construction method".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

4

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

12

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

13

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

14

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

15

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

17

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

18

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

19

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

24

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

26

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

27

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

28

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

30

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

31

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

Повний текст джерела

Анотація:

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 та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

34

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

Повний текст джерела

Анотація:

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 та ін.

35

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Анотація:

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 та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!