Metamodels for system development
ACM SIGSOFT Software Engineering Notes
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
GARDEN—an integrated and evolving environment for ULSI/VLSI CAD applications
IBM Systems Journal
Formal specification for a clinical cyclotron control system
Conference proceedings on Formal methods in software development
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
BITS: a smartcard protected operating system
Communications of the ACM
A taxonomy of software development methods
Communications of the ACM
Software complexity—an alternative view
ACM SIGPLAN Notices
TROLL: a language for object-oriented specification of information systems
ACM Transactions on Information Systems (TOIS)
Analysis of techniques in the assessment of ultra-reliable computerized systems
ACM SIGSOFT Software Engineering Notes
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th international conference on Software Engineering
OOSPEC: an executable object-oriented specification language
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Using formal methods for teaching software engineering: a tool-based approach
Annals of Software Engineering - Special issue on software engineering education
The executive office of environmental affairs systems modernization project
CSC '91 Proceedings of the 19th annual conference on Computer Science
On coping with real-time software dynamic inconsistency by built-in tests
Annals of Software Engineering
Machine Mentality and the Nature of the Ground Relation
Minds and Machines
An Introduction to the Specification Language SPEC
IEEE Software
Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software
IEEE Transactions on Parallel and Distributed Systems
A Task-Based Methodology for Specifying Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
OST - An Object-Oriented Computer Networks System Specification Tool
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
ICN '01 Proceedings of the First International Conference on Networking-Part 1
Information and Software Technology
| Hi-index | 0.03 |