Object-oriented programs in realtime
ACM SIGPLAN Notices
SIGDOC '93 Proceedings of the 11th annual international conference on Systems documentation
A high level language for specifying graph based languages and their programming environments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A formal approach to the teaching of programming language concepts
ACM SIGPLAN Notices
Undefined Expressions and Logic in Z and B
Formal Methods in System Design
Supertotal Function Definition in Mathematics and Software Engineering
IEEE Transactions on Software Engineering
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Improving strategies for handling undefined variables
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Enhancing Functional and Irregular Parallelism: Stateful Functions and their Semantics
International Journal of Parallel Programming
Software Engineering in the Academy
Computer
On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria
IEEE Transactions on Software Engineering
Model-theoretic semantics for the web
WWW '03 Proceedings of the 12th international conference on World Wide Web
A Vector Based Software Size Measure
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Analysis Techniques for Testing Polymorphic Relationships
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
An Expectant Chat About Script Maturity
LISA '00 Proceedings of the 14th USENIX conference on System administration
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Functional declarative language design and predicate calculus: a practical approach
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Modeling and performance analysis for security aspects
Science of Computer Programming - Special issue on quality system and software architectures
A taxonomy of DFA-based string processors
SAICSIT '06 Proceedings of the 2006 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Designing software components to tolerances
ACM SIGSOFT Software Engineering Notes
Combination of transformation and schema languages described by a complete formal semantics
Proceedings of the 2007 ACM symposium on Document engineering
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Models in Software Engineering
Derivation and Refinement of Textual Syntax for Models
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
Towards practical proofs of class correctness
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Adding structure to agent programming languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
View based object oriented approach for complex system modelling
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Pointfree expression and calculation: from quantification to temporal logic
Formal Methods in System Design
History-aware, real-time risk detection in business processes
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Dependable Systems
Real-time risk monitoring in business processes: A sensor-based approach
Journal of Systems and Software
Hi-index | 0.00 |