Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Automating the Transformational Development of Software
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
A survey and classification of some program transformation approaches and techniques
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Report on a knowledge-based software assistant
Readings in artificial intelligence and software engineering
Software interconnection models
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Knowledge-based software design using design schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
A knowledge acquisition model with applications for requirements specification and definition
ACM SIGART Bulletin - Special issue on knowledge acquisition
Software development process from natural language specification
ICSE '89 Proceedings of the 11th international conference on Software engineering
An Introduction to Database Systems
An Introduction to Database Systems
ACM SIGMIS Database
Human Problem Solving
Problem-Solving Methods in Artificial Intelligence
Problem-Solving Methods in Artificial Intelligence
A model base for software engineering
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Hi-index | 0.00 |
Recent research results in software engineering have shown that the process of formalizing and automating software specification activity is moving towards knowledge-based specification systems. A modeling approach and a knowledge-based system that assist in the requirement acquisition, development, and maintenance of such software system specifications are presented.