Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
What ever happened to structured analysis?
Datamation
Logic for problem-solving
Specification of computer programs
Specification of computer programs
The use of temporal logic in the compositional specification of concurrent systems
Temporal logics and their applications
Constructing a dialogic framework for software development
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Three dimensional system development
ACM SIGSOFT Software Engineering Notes
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Complementary Definitions of Programming Language Semantics
Complementary Definitions of Programming Language Semantics
A Temporal Framework for Database Specifications
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Structured Analysis and System Specification
Structured Analysis and System Specification
Requirements Validation Through Viewpoint Resolution
IEEE Transactions on Software Engineering
Applying domain and design knowledge to requirements engineering
ACM SIGOIS Bulletin - Special issue on information system design support tools
Representation and Presentation of Requirements Knowledge
IEEE Transactions on Software Engineering
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
New Approach to Requirements Trade-Off Analysis for Complex Systems
IEEE Transactions on Knowledge and Data Engineering
Developing Formal Specifications from Informal Requirements
IEEE Expert: Intelligent Systems and Their Applications
Towards extensible graphical formalisms
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
A system for multiparadigm development of software systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Information and Software Technology
Hi-index | 0.00 |