Author:
Takahashi Masakazu,Fukue Yoshinori,Takahashi Satoru,Kawasaki Takashi
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Braberman, V., Kicillof, N., Olivero, A.: TA Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. IEEE Transactions on Software Engineering 31(12), 1028–1041 (2005)
2. Demarco, T.: Structured Analysis and System Specification. Prentice-Hall, Englewood Cliffs (1979)
3. Douglass, B.: Real-Time UML: Developing Efficient Objects for Embedded Systems, 2nd edn. Addison-Wesley Longman, Amsterdam (2000)
4. Hatley, D., Pirbhai, I.: Strategies for Real-Time System Specification. Dorset House Publising, New York (1988)
5. Kabeli, J., Shoval, P.: Comprehension and quality of analysis specifications - a comparison of FOOM and OPM methodologies. Information and Software Technology 47(4), 271–290 (2005)