Software Engineering: Problems and Perspectives
Computer - IEEE Centennial: the state of computing
An introduction to database systems: vol. I (4th ed.)
An introduction to database systems: vol. I (4th ed.)
The role of frame-based representation in reasoning
Communications of the ACM
Communications of the ACM
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Activity modeling and behavior modeling
Proc. of the IFIP WG 8.1 working conference on Information systems design methodologies: improving the practice
Communications of the ACM
Modern structured analysis
Information systems engineering: an introduction
Information systems engineering: an introduction
Systems analysis: a systemic analysis of a conceptual model
Communications of the ACM
On verification of database temporal constraints
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
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
Issues in Software Maintenance
ACM Computing Surveys (CSUR)
Symbolic execution and program testing
Communications of the ACM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
An Algebra for Data Flow Diagram Process Decomposition
IEEE Transactions on Software Engineering
A Method for Behavior Modeling in Data Oriented Approach to System Design
Proceedings of the First International Conference on Data Engineering
A Temporal Framework for Database Specification and Verification
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Checking Consistency of Database Constraints: a Logical Basis
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Structured Analysis and System Specification
Structured Analysis and System Specification
Object subclass hierarchy in SQL: a simple approach
Communications of the ACM
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
Strategies for incorporating formal specifications in software development
Communications of the ACM
Communications of the ACM
KBMS-Based Evolutionary Prototyping of Software Systems*
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Object-Oriented Real Time Systems Modeling and Verification
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
An Object-Oriented Real Time Systems Modeling and Verification Methodology
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
A Task-Based Approach to Verifying Conceptual Models
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Preliminary explorations in specifying and validating entity-relationship models in PVS
Proceedings of the second workshop on Automated formal methods
| Hi-index | 0.05 |
First Page of the Article