Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
Applying cognitive dimensions to evaluate and improve the usability of Z formalism
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A formal approach for specification and classification of software components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
What design heuristics may enhance the utility of a formal specification?
SAICSIT '02 Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Larks: Dynamic Matchmaking Among Heterogeneous Software Agents in Cyberspace
Autonomous Agents and Multi-Agent Systems
The Use of Aggregate and Z Formal Methods for Specification and Analysis of Distributed Systems
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Role of Model Transformation in Method Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
An Anthropological Approach to the Discovery of Ontologies in Multi-agent Societies
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Systems Development Using Z Generics
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Relating Z and First-Order Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Journal of Computing Sciences in Colleges
A recursive list paradigm with Java and C++ implementations
Journal of Computing Sciences in Colleges
A component-based specification approach for embedded systems using FDTs
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Resource allocation among development phases: an economic approach
Proceedings of the 2006 international workshop on Economics driven software engineering research
Formal verification of security specifications with common criteria
Proceedings of the 2007 ACM symposium on Applied computing
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets
ACM Transactions on Computational Logic (TOCL)
A Formal Approach for Analysis and Testing of Reliable Embedded Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Operation refinement and monotonicity in the schema calculus
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
A property based specification formalism classification
Journal of Systems and Software
A specification construction unit-based editor for Z
COMPSAC-W'05 Proceedings of the 29th annual international conference on Computer software and applications conference
Deriving functional interface specifications for composite components
SC'11 Proceedings of the 10th international conference on Software composition
A language for test case refinement in the test template framework
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A relational investigation of UTP designs and prescriptions
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
Investigating miraculous specifications
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern 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
Teaching the oxford Brookes formal specification module
TFM'06 Proceedings of the 2006 conference on Teaching Formal Methods: practice and experience
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
| Hi-index | 0.00 |
From the Publisher:Introduces developers to Z notation, a formal specification methodology that can dramatically improve the way software systems are modeled and implemented.Covers the role of formal specification in software engineering, and presents an informal introduction to logic and set theory. Introduces the Z notation as a mathematical language. Presents Z notation relations, functions, schemas and specifications structure. Presents a completed specification in Z notation, and shows how that specification can be transformed into a working program.Software engineers and students of advanced software engineering.