Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
Communications of the ACM
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Application of axiomatic methods to a specification analyser
ICSE '84 Proceedings of the 7th international conference on Software engineering
ICSE '79 Proceedings of the 4th international conference on Software engineering
Implementing relational views of programs
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Relational data bases in the design of program construction systems
ACM SIGPLAN Notices
Overview of relational programming
ACM SIGPLAN Notices
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
Principles of Compiler Design (Addison-Wesley series in computer science and information processing)
The software information base: a server for reuse
The VLDB Journal — The International Journal on Very Large Data Bases
Generic Lifecycle Support in the ALMA Environment
IEEE Transactions on Software Engineering
Continuous release and upgrade of component-based software
Proceedings of the 12th international workshop on Software configuration management
Journal of Software Maintenance and Evolution: Research and Practice - IEEE International Conference on Software Maintenance (ICSM2005)
Improving the customer configuration update process by explicitly managing software knowledge
Proceedings of the 28th international conference on Software engineering
DeFacto: Language-Parametric Fact Extraction from Source Code
Software Language Engineering
Hi-index | 0.00 |
We describe a system for maintaining useful information about a software project. The “software knowledge base” keeps track of software components and their properties; these properties are described through binary relations and the constraints that these relations must satisfy. The relations and constraints are entirely user-definable, although a set of predefined libraries of relations with associated constraints is provided for some of the most important aspects of software development (specification, design, implementation, testing, project management).The use of the binary relational model for describing the properties of software is backed by a theoretical study of the relations and constraints which play an important role in software development.