Author:
Takahashi Masakazu,Hanzawa Kazutoshi,Kawasaki Takashi
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference22 articles.
1. A scenario-matching approach to the description and model checking of real-time properties;Braberman;IEEE Transactions on Software Engineering,2005
2. J. DeBaud, K. Schmid, A systematic approach to derive scope of software product lines, ICSE’99, Los Angeles CA, May 1999. pp. 34–43.
3. Structured Analysis and System Specification;Demarco,1979
4. Verifying and validating software requirements specifications;Dolores,1997
5. Real-Time UML: Developing Efficient Objects for Embedded Systems;Douglass,2000