Knowledge-based automation of a design method for concurrent systems

IEEE Transactions on Software Engineering

Volumn 28, Issue 3, 2002, Pages 228-255

  Mills, Kevin L ^a,b   Gomaa, Hassan ^a,c  

^a IEEE   (United States)

^b NATIONAL INSTITUTE OF STANDARDS AND TECHNOLOGY   (United States)

^c GEORGE MASON UNIVERSITY   (United States)

Author keywords

Automated software engineering; Concurrent and real time system design; Knowledge based software engineering; Software design

Indexed keywords

CONCURRENT SYSTEMS; SOFTWARE DESIGNS;

AUTOMATION; CONCURRENT ENGINEERING; DATA FLOW ANALYSIS; DATA STRUCTURES; HEURISTIC METHODS; KNOWLEDGE BASED SYSTEMS; SEMANTICS;

SOFTWARE ENGINEERING;

EID: 0036504504     PISSN: 00985589     EISSN: None     Source Type: Journal    
DOI: 10.1109/32.991319     Document Type: Article

References (50)

1. The nature of design
2. Object-oriented development
3. Designing large real-time systems with ada
4. An automated software design assistant
5. Intelligent support for specifications transformation
6. Transformations using a metasystem approach to software development
7. Automatic synthesis of SARA design models from systems requirements
8. On the criteria to be used in decomposing systems into modules
9. A knowledge-based method inferring semantic concepts from visual models of behavior
10. The role of frame-based representation in reasoning
11. Semantic networks and associative databases
12. Logic programming
13. An overview of the kl-one knowledge representation system
14. Pattern recognition as rule-guided inductive inference
15. Ruled-based systems
16. A software design method for real time systems
17. Domain-specific automatic programming
18. Automatic programming for device-control software
19. Scientific programming by automated synthesis
20. On the automatic selection of data structure and algorithms
21. KIDS - A knowledge-based software development system
22. Easy programming empowering people to build their own applications
23. Knowledge representation and reasoning in the design of composite systems
24. Supporting software designers with integrated domain-oriented design environments
25. The programmer's apprentice: A research overview
26. Automatic programming: Myths and prospects
27. Seven layers of knowledge representation and reasoning in support of software development
28. Toward a design apprentice: Supporting reuse and evolution in software design
29. SARA (System architects apprentice): Modeling, analysis, and simulation support for design of concurrent systems
30. Software development of real time systems
31. Structuring criteria for real time system design
32. Validating the ADARTS software design method for real-time systems