IEEE Transactions on Computers
Trace Specifications: Methodology and Models
IEEE Transactions on Software Engineering
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
IEEE Transactions on Software Engineering
Simulating the Behavior of Software Modules by Trace Rewriting
IEEE Transactions on Software Engineering
ACM SIGSOFT Software Engineering Notes
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
QDA - A Method for Systematic Informal Program Analysis
IEEE Transactions on Software Engineering
On Trace Assertion Method of Module Interface Specification with Concurrency
RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Foundations of Sequence-Based Software Specification
IEEE Transactions on Software Engineering
On testing of classes in object-oriented programs
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
The secret history of information hiding
Software pioneers
Structured programming: a minor part of software engineering
Information Processing Letters - Special issue: Contribution to computing science
Implementing protocols via declarative event patterns
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Structured Specification of Communicating Systems
IEEE Transactions on Computers
Validating system properties exhibited in execution traces
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Programming and Computing Software
The impact of requirements changes on specifications and state machines
Software—Practice & Experience
An axiom system for sequence-based specification
Theoretical Computer Science
Multi-paradigm Models as Source for Automated Test Construction
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Automated Consistency Checking of Module Interface Specifications
Fundamenta Informaticae
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Applying string-rewriting to sequence-based specification
Formal Methods in System Design
| Hi-index | 0.01 |