Transaction processing primitives and CSP
IBM Journal of Research and Development
Specification statements and refinements
IBM Journal of Research and Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Methods Applied to a Floating-Point Number System
IEEE Transactions on Software Engineering
Properties of Z specifications
ACM SIGSOFT Software Engineering Notes
Specifying reusable components using Z: realistic sets and dictionaries
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A practical approach to semantic configuration management
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Estimating the number of test cases required to satisfy the all-du-paths testing criterion
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
Formal specification for a clinical cyclotron control system
Conference proceedings on Formal methods in software development
Invariant properties in a dialog system
Conference proceedings on Formal methods in software development
Approximate Reasoning About the Semantic Effects of Program Changes
IEEE Transactions on Software Engineering
Formal Specification of a Look Manager
IEEE Transactions on Software Engineering
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Formal verification of algorithms for critical systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
A Case-Study in Timed Refinement: A Mine Pump
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
Test template framework: a specification-based testing case study
ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
Deriving modular designs from formal specifications
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
The Larch/Smalltalk interface specification language
ACM Transactions on Software Engineering and Methodology (TOSEM)
Liveness conditions in model-based service specifications: a case study
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Faster checking of software specifications by eliminating isomorphs
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
A tailored design language: putting model based formal specification into practice
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
DAda—an Ada preprocessor for functional programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
An experience in the formal verification of industrial software
Communications of the ACM - Electronic supplement to the December issue
Logic program based action specifications
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
State-based approaches: from Z to object-Z
Formal methods for distributed processing
Testing monadic code with QuickCheck
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
IEEE Transactions on Software Engineering
Formal Verification of Algorithms for Critical Systems
IEEE Transactions on Software Engineering
Formal Derivation of Concurrent Programs: An Example from Industry
IEEE Transactions on Software Engineering
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
Testing monadic code with QuickCheck
ACM SIGPLAN Notices
On testing of classes in object-oriented programs
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
An incremental specification of the sliding-window protocol
Distributed Computing
The connection between two ways of reasoning about partial functions
Information Processing Letters
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming
Problem frames and software engineering
Information and Software Technology
A timeband framework for modelling real-time systems
Real-Time Systems
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
Improving software testability with assertion insertion
ITC'94 Proceedings of the 1994 international conference on Test
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
KES-AMSTA'11 Proceedings of the 5th KES international conference on Agent and multi-agent systems: technologies and applications
Introduction and overview: the projects of methods integration
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Hi-index | 0.00 |