IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Referential opacity in nondeterministic data refinement
ACM Letters on Programming Languages and Systems (LOPLAS)
Communications of the ACM
Human computer interaction models and application development (panel session)
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
On local modularity and interpolation in entailment systems
Information Processing Letters
Software Evolution and Software Evolution Processes
Annals of Software Engineering
Automated Software Engineering
Desert Island Reading: A Software Engineering Perspective
Automated Software Engineering
Evolution in software and related areas
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
An approach to a theory of software evolution
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
A Technique for Modular Logic Program Refinement
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Secure Interoperation of Secure Distributed Databases
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Software Package Requirements and Procurement
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Information Processing Letters - Special issue: Contribution to computing science
On what exactly goes on when software is developed step-by-step, II: the sequel
Information Processing Letters - Special issue: Contribution to computing science
From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modeling Language
Autonomous Agents and Multi-Agent Systems
A UML Based Approach for Modeling and Implementing Multi-Agent Systems
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Applying a UML-based agent modeling language to the autonomic computing domain
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming
"Large" abstractions for software engineering
Proceedings of the 2nd international workshop on The role of abstraction in software engineering
Modeling human computer interactions with automata
ICECS'03 Proceedings of the 2nd WSEAS International Conference on Electronics, Control and Signal Processing
The untrained eye: how languages for software specification support understanding in untrained users
Human-Computer Interaction
Proving consistency and completeness of model classes using theory interpretation
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
AML: agent modeling language toward industry-grade agent-based modeling
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
The epistemology of validation and verification testing
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Modeling social aspects of multi-agent systems: the AML approach
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Computer aided incremental specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Nonmonotonic reasoning and formal software development
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.02 |