1763 results in Software Engineering and Development
19 - Microwave Oven Control System Case Study
- from Part IV - Real-Time Software Design Case Studies for Embedded Systems
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 371-416
-
- Chapter
- Export citation
Dedication
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp v-vi
-
- Chapter
- Export citation
15 - Designing Real-Time Software Product Line Architectures
- from Part II - Real-Time Software Design Method
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 297-310
-
- Chapter
- Export citation
13 - Concurrent Real-Time Software Task Design
- from Part II - Real-Time Software Design Method
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 233-265
-
- Chapter
- Export citation
3 - Real-Time Software Design and Architecture Concepts
- from Part I - Overview
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 32-48
-
- Chapter
- Export citation
Part IV - Real-Time Software Design Case Studies for Embedded Systems
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 369-370
-
- Chapter
- Export citation
18 - Applying Performance Analysis to Real-Time Software Designs
- from Part III - Analysis of Real-Time Software Designs
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 346-368
-
- Chapter
- Export citation
1 - Introduction
- from Part I - Overview
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 3-11
-
- Chapter
- Export citation
Glossary
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 559-572
-
- Chapter
- Export citation
10 - Software Architectures for Real-Time Embedded Systems
- from Part II - Real-Time Software Design Method
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 163-183
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp xv-xviii
-
- Chapter
- Export citation
22 - Pump Control System Case Study
- from Part IV - Real-Time Software Design Case Studies for Embedded Systems
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 500-512
-
- Chapter
- Export citation
20 - Railroad Crossing Control System Case Study
- from Part IV - Real-Time Software Design Case Studies for Embedded Systems
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 417-450
-
- Chapter
- Export citation
9 - Dynamic Interaction Modeling for Real-Time Embedded Software
- from Part II - Real-Time Software Design Method
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 143-162
-
- Chapter
- Export citation
Annotated Table of Contents
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp xix-xxiv
-
- Chapter
- Export citation
6 - Use Case Modeling for Real-Time Embedded Systems
- from Part II - Real-Time Software Design Method
-
- Book:
- Real-Time Software Design for Embedded Systems
- Published online:
- 05 March 2016
- Print publication:
- 26 May 2016, pp 79-99
-
- Chapter
- Export citation
17 - Abstract Types
- from Part VII - Variable Types
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 146-153
-
- Chapter
- Export citation
42 - Modularity and Linking
- from Part XVII - Modularity
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 395-398
-
- Chapter
- Export citation
Part I - Judgments and Rules
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 1-2
-
- Chapter
- Export citation
47 - Equality for System PCF
- from Part XVIII - Equational Reasoning
-
- Book:
- Practical Foundations for Programming Languages
- Published online:
- 05 March 2016
- Print publication:
- 04 April 2016, pp 445-453
-
- Chapter
- Export citation