Design of dependable real-time systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
A formal definition of priority in CSP
ACM Transactions on Programming Languages and Systems (TOPLAS)
A practical approach to software engineering using Z and the refinement calculus
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Operating system kernel automatic construction
ACM SIGOPS Operating Systems Review
ACM SIGSOFT Software Engineering Notes
OOSPEC: an executable object-oriented specification language
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Property-based testing: a new approach to testing for assurance
ACM SIGSOFT Software Engineering Notes
Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Logic program based action specifications
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Eclectic CSP: a language of concurrent processes
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Refinement of Z specifications using reusable software components in Ada
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
Theoretical Computer Science
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Formal Conversations for the Contract Net Protocol
Proceedings of the 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001 on Multi-Agent-Systems and Applications II-Selected Revised Papers
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Bringing Coherence to Agent Conversations
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
Technology Transfer Issues for Formal Methods of Software Specification
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
A theory-model formalization of FlexOr
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Illuminating software specifications
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Using a performative subsumption lattice to support commitment-based conversations
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Conversational semantics sustained by commitments
Autonomous Agents and Multi-Agent Systems
Flexible Conversations Using Social Commitments and a Performatives Hierarchy
Agent Communication II
Electronic Institutions Infrastructure for e-Chartering
Engineering Societies in the Agents World VIII
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming − Invited Paper
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Simulation as a game design tool
Proceedings of the International Conference on Advances in Computer Enterntainment Technology
Building syntax-aware editors for visual languages
Journal of Visual Languages and Computing
Exploring Games as Formal Models
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Managing ambiguity in programming by finding unambiguous examples
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Minds and Machines
ACM SIGSOFT Software Engineering Notes
Teaching formal methods: lessons to learn
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Teaching and learning formal methods, improving productivity
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Teaching formal methods in a third world country: what, why and how
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Defining relationships in ecology using object-oriented formal specifications
Mathematical and Computer Modelling: An International Journal
Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming − Invited Paper
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
An architectural model for autonomous normative agents
SBIA'12 Proceedings of the 21st Brazilian conference on Advances in Artificial Intelligence
Hi-index | 0.00 |
From the Publisher:Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.