시간이 긴요한 실시간 시스템의 요구 명세 및 분석

참고문헌

1. Real-Time Systems and Their Programming Languages Alan Burns;Andv Wellings
2. Real-Time System Design Shem-Tov Levi;Ashok K. Agrawala
3. Software Engineering : A Practitioner's Approach(Third Ed.) Roger S. Pressman
4. Software Engineering(4th Ed.) Sommerville,I.
5. Structured Development for Real-Time Systems Ⅰ,Ⅱ,Ⅲ Paul T. Ward;Stephen J. Mellor
6. Software Design Methods for Concurrent and Real-Time Systems Hassen Gomaa
7. Designing Large Real-Time System with Ada Kjell Nielsen;Ken Shumate
8. IEEE Transaction on Software Engineering v.16 no.4 Statemate : a working environment for the development of complex reactive systems D.Harel;H.Lachover;A.Naamad;A.Pnueli;M.Politi;R.Sherman;M.Trachtenbrot
9. Petri Net Theory and the Modeling of Systems James L. Peterson
10. CACM v.21 no.8 Communicating Sequential Processes C.A.R.Hoare
11. IEEE Transactions on Software Engineering v.12 no.9 Safety Analysis of Timing Properties in Real-Time Systems Farnam Jahanian;Aloysius Ka-Lau Mok
12. Proceedings of Real-Time Systems Symposiam(IEEE) A Graphic Theoretic Approach for Timing Analysis in Real-Time Logic Jahanian,F.;Mok,A.
13. Real-Time Systems. Abstractions, Languages, and Design Methodologies Formal Methods for the Specification and Design of Real-Time Safety Critical Systems Jonathan S. Ostroff
14. CACM v.37 no.10 Strategies for Incorporating Formal Specifications in Softeware Development Marlin D. Fraser;Kuldeep Kumar;Vijay K. Vaishnavi
15. Object-Oriented Modeling and Design James Rumbaugh;Michael Blaha;William Premerlani;Frederick Eddy;William Lorensen
16. 한국정보과학회지 v.11 no.2 객체지향 실시간 시스템 개발 방법론 이광용;류성열;정기원
17. IEEE Software The Core Method for Real-Time Requirements Stuart Faulk;John Brackett;Paul Ward;James Kirby, JR.
18. acm Transactions on Software Engineering and Methodology v.3 no.1 Object-Oriented Logical Specification fo Time-Critical Systems Angelo Morzenti;Pierluigi San Pietro
19. acm Transactions on Software Engineering and Methodology v.3 no.2 An Algebraic Theory of Class Specification Francesco Parisi-Presicce;Alfonso Pierantonio
20. IEEE Transaction on Software Engineering v.18 no.1 Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design Derek Coleman;Fiona Hayes;Stephen Bear