摘要: The rigorous object-oriented analysis (ROOA) method integrates formal description techniques with standard methods. ROOA provides a systematic development process which, starting from set of informal requirements, produces an executable objected-oriented model. model is expressed in LOTOS and precise unambiguous requirements specification the static, dynamic functional aspects problem. As executable, prototyping can be used to validate against requirements. Inconsistencies, omissions ambiguities detected sufficiently early so that feedback given requirement capture process.
sci-hub.st 参考文章(19)
Henk Eertink, Dietmar Wolz, Symbolic execution of LOTOS specifications formal techniques for (networked and) distributed systems. pp. 295- 310 ,(1992)
W Lorenson, J Rumbaugh, F Eddy, W Premerlani, M Blaha, Object-Oriented Modelling and Design Englewood Cliffs, NJ: Prentice Hall. ,(1991)
Robert G. Clark, Using LOTOS in the object-based development of embedded systems The unified computation laboratory. pp. 307- 319 ,(1992)
Ana M. D. Moreira, Robert G. Clark, Rigorous Object-Oriented Analysis ISOOMS '94 Proceedings of the International Symposium on Object-Oriented Methodologies and Systems. pp. 65- 78 ,(1994) , 10.1007/BFB0014017
Ted L. Briggs, John Werth, A Specification Language for Object-Oriented Analysis and Design european conference on object oriented programming. pp. 365- 385 ,(1994) , 10.1007/BFB0052192
Robin Milner, Communication and Concurrency ,(1989)
Ivar Jacobson, Object-oriented software engineering A Use Case Driven Approach. New York, NY: Addison-Wesley. ,(1991)
Hans-Dieter Ehrich, Martin Gogolla, Amilcar Sernadas, None, Objects and their Specification workshop on specification of abstract data types joint with compass workshop on recent trends in data type specification. pp. 40- 65 ,(1991) , 10.1007/3-540-56379-2_34
Ana M. D. Moreira, Robert G. Clark, Combining Object-Oriented Analysis and Formal Description Techniques european conference on object oriented programming. pp. 344- 364 ,(1994) , 10.1007/BFB0052191
K. Lano, H. Haughton, Object-oriented specification case studies Prentice Hall International (UK) Ltd.. ,(1994)