ICSE '87 Proceedings of the 9th international conference on Software Engineering
A comparison of techniques for the specification of external system behavior
Communications of the ACM
Foundations for the Arcadia environment architecture
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Software CAD: A Revolutionary Approach
IEEE Transactions on Software Engineering
Rethinking the taxonomy of fault detection techniques
ICSE '89 Proceedings of the 11th international conference on Software engineering
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
An Executable Language for Modeling Simple Behavior
IEEE Transactions on Software Engineering
Temporal Logic-Based Deadlock Analysis for Ada
IEEE Transactions on Software Engineering
ACM Computing Surveys (CSUR)
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
Querying of Executable Software Specifications
IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Computer
SCHEMASIM: a simulation environment for real-time systems
ACM SIGSIM Simulation Digest
A methodology for high-level software specification construction
ACM SIGSOFT Software Engineering Notes
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Covering the life cycle with Ada: Ada all the way
WADAS '89 Proceedings of the sixth Washington Ada symposium on Ada
Programming languages and systems for prototyping concurrent applications
ACM Computing Surveys (CSUR)
A Compositional Approach to Multiparadigm Programming
IEEE Software
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
| Hi-index | 0.02 |