Deriving modular designs from formal specifications
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
ACM SIGPLAN Fortran Forum
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Towards an introductory formal programming course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software reflexion models: bridging the gap between source and high-level models
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
Formalizing style to understand descriptions of software architecture
ACM Transactions on Software Engineering and Methodology (TOSEM)
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using KIDS as a tool support for VDM
Proceedings of the 18th international conference on Software engineering
Mapping a functional specification to an object-oriented specification in software re-engineering
CSC '96 Proceedings of the 1996 ACM 24th annual conference on Computer science
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
NDHORM: an OO approach to requirements modeling
ACM SIGSOFT Software Engineering Notes
Experience integrating a formal method into a software engineering course
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Faster checking of software specifications by eliminating isomorphs
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Checking relational specifications with binary decision diagrams
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Verification of communication protocols using data flow analysis
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
Beyond VHDL: textual formalisms, visual techniques, or both?
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
A refinement calculus for VHDL
EURO-DAC '96/EURO-VHDL '96 Proceedings of the conference on European design automation
Specification of software controlling a discrete-continuous environment
ICSE '97 Proceedings of the 19th international conference on Software engineering
Using formal methods to reason about architectural standards
ICSE '97 Proceedings of the 19th international conference on Software engineering
Nitpick: a tool for interactive design analysis
ICSE '97 Proceedings of the 19th international conference on Software engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
The ProCoS Approach to Correct Systems
Real-Time Systems - Special issue on safety-critical systems
Proceedings of the 4th ACM conference on Computer and communications security
Reduction and slicing of hierarchical state machines
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
Lessons from Using Z to Specify a Software Tool
IEEE Transactions on Software Engineering
Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Why the hypermedia model is inadequate for computer-based instruction
ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education
An intermediate design language and its analysis
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Using view-based models to formalize architecture description
ISAW '98 Proceedings of the third international workshop on Software architecture
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hypercharts: Extended Statecharts to Support Hypermedia Specification
IEEE Transactions on Software Engineering
Experiences in verifying parallel simulation algorithms
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
Developing and using a “policy neutral” access control policy
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
Procedure-Level Verification of Real-time Concurrent Systems
Real-Time Systems
The first decade of an undergraduate degree programme in software engineering
Annals of Software Engineering - Special issue on software engineering education
Using formal methods for teaching software engineering: a tool-based approach
Annals of Software Engineering - Special issue on software engineering education
A problem-oriented analysis of basic UML static requirements modeling concepts
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
IEEE Transactions on Software Engineering
An extensible model of architecture description
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Proceedings of the Conference on The Future of Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A logical framework for design composition
Proceedings of the 22nd international conference on Software engineering
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Galileo: a tool built from mass-market applications
Proceedings of the 22nd international conference on Software engineering
Undefined Expressions and Logic in Z and B
Formal Methods in System Design
Completeness in formal specification language design for process-control systems
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Sets and constraint logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)
Conduit cascades and secure synchronization
Proceedings of the 2000 workshop on New security paradigms
Industrial experience with SPARK
ACM SIGAda Ada Letters - special issue on presentations from SIGAda 2000
Proceedings of the 2001 ACM symposium on Applied computing
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
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
Finding bugs with a constraint solver
Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A formal data-model of the CORBA security service
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
Using data groups to specify and check side effects
PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Constraining autonomy through norms
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Towards model based prediction of human error rates in interactive systems
AUIC '01 Proceedings of the 2nd Australasian conference on User interface
Specifying mode requirements of embedded systems
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Formal methods for distributed processing
State-based approaches: from Z to object-Z
Formal methods for distributed processing
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
An analyzable annotation language
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards a formalization for COM part i: the primitive calculus
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A source of inconsistency in theories of nondeterministic functions
Science of Computer Programming
Engineering formal requirements: An analysis and testing method for Z documents
Annals of Software Engineering
Towards quality requirements via animated formal specifications
Annals of Software Engineering
Formal methods for telecommunication system requirements: A survey of standardized languages
Annals of Software Engineering
An association-based management of reusable software components
Annals of Software Engineering
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
The Model-Composition Problem in User-Interface Generation
Automated Software Engineering
Behavioural Conflicts in a Causal Specification
Automated Software Engineering
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Industrial Applications of Software Synthesis via Category Theory—Case Studies Using Specware
Automated Software Engineering
Formalizing GDMO Action and NotificationDefinitions — Results from a Case Study
Journal of Network and Systems Management
On Verifying Distributed Multithreaded Java Programs
Software Quality Control
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
Managing Complex Documents Over the WWW: A Case Study for XML
IEEE Transactions on Knowledge and Data Engineering
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective
IEEE Transactions on Knowledge and Data Engineering
Is Proof More Cost-Effective Than Testing?
IEEE Transactions on Software Engineering
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
A CSP View on UML-RT Structure Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
A Real-Time Execution Semantics for UML Activity Diagrams
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Logic Programming for Software Engineering: A Second Chance
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Formal Methods for the International Space Station ISS
Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Empowered Situations of Autonomous Agents
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Formalizing UML Class Diagrams: A Hierarchical Predicate Transition Net Approach
COMPSAC '00 24th International Computer Software and Applications Conference
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
A Method for Structural Compatibility in Software Reuse Using Requirements Specifcation
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Towards a formalization of UML class structures in Z
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Applying Category Theory to Derive Engineering Software from Encoded Knowledge
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
An Overview of RoZ: A Tool for Integrating UML and Z Specifications
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Formal Specification of Agent Behaviour through Environment Scenarios
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Formal Agent Development: Framework to System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Formal Modelling of Java GUI Event Handling
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Abstract Specification in Object-Z and CSP
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
M2Z: A Tool for Translating a Natural Language Software Specification into Z
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Towards a Time Model for Circus
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Formal Methods in Practice: The Missing Links. A Perspective from the Security Area
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Reliable Agent Communication - A Pragmatic Perspective
PRIMA '99 Proceedings of the Second Pacific Rim International Workshop on Multi-Agents: Approaches to Intelligent Agents
The Role of Castes in Formal Specification of MAS
PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
Isomorphisms - A Link Between the Shallow and the Deep
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
A Proposal for a Formal OCL Semantics in Isabelle/HOL
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
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
Confidentiality-Preserving Refinement is Compositional - Sometimes
ESORICS '02 Proceedings of the 7th European Symposium on Research in Computer Security
Integrated Informal Object-Oriented and Formal Modeling Techniques
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Generalized Quantifiers in Logic Programs
ESSLLI '97 Revised Lectures from the 9th European Summer School on Logic, Language, and Information: Generalized Quantifiers and Computation
Techniques for Embedding Executable Specifications in Software Component Interfaces
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
A Technique for Modular Logic Program Refinement
LOPSTR '00 Selected Papers form the 10th International Workshop on Logic Based Program Synthesis and Transformation
Supporting Formal Verification of Crosscutting Concerns
REFLECTION '01 Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns
A Family-Oriented Software Development Process for Engine Controllers
PROFES '01 Proceedings of the Third International Conference on Product Focused Software Process Improvement
X Meets Z: Verifying Correctness in the Presence of POSIX Threads
Proceedings of the FREENIX Track: 2002 USENIX Annual Technical Conference
HOL-OCL: Experiences, Consequences and Design Choices
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
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
Type-Constrained Generics for Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A Formal Mapping between UML Models and Object-Z Specifications
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A Computation Model for Z Based on Concurrent Constraint Resolution
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Automatic Construction of Validated B Components from Structured Developments
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Guards, Preconditions, and Refinement in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Formal Methods for Industrial Products
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Analysis of Compiled Code: A Prototype Formal Model
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Closure Induction in a Z-Like Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Reasoning Inductively about Z Specifications via Unification
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
On Mutually Recursive Free Types in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Recursive Schema Definitions in Object-Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Loose Specification and Refinement in Z
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Extraction of Abstraction Invariants for Data Refinement
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Formal Analysis of the CORBA Security Service
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Characters + Mark-up = Z Lexis
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
An Agenda for Specifying Software Components with Complex Data Models
SAFECOMP '98 Proceedings of the 17th International Conference on Computer Safety, Reliability and Security
Modeling Safety-Critical Systems with Z and Petri Nets
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
A Method for Requirements Elicitation and Formal Specification
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Formalizing the Specification of Web Applications
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling Frontends
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Specification of an Active Database System Application Using Dynamic Relation Nets
CL '00 Proceedings of the First International Conference on Computational Logic
The UniForM WorkBench - A Higher Order Tool Integration Framework
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Mechanized Analysis of Behavioral Conformance in the Eiffel Base Libraries
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Validation of UML Models Thanks to Z and Lustre
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Faithful Translations among Models and Specifications
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
VAlloy - Virtual Functions Meet a Relational Language
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Mechanical Abstraction of CSPZ Processes
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Scientific Decisions which Characterize VDM
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The Safe Machine: A New Specification Construct for B
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The Value of Verification: Positive Experience of Industrial Proof
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Communication and Synchronisation Using Interaction Objects
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
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
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
On Applying Software Development Best Practice to FPFAs in Safety Critical Systems
FPL '00 Proceedings of the The Roadmap to Reconfigurable Computing, 10th International Workshop on Field-Programmable Logic and Applications
Structural Refinement in Object-Z/CSP
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Structuring Real-Time Object-Z Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
mu-Charts and Z: Hows, Whys, and Wherefores
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
ISpec: Towards Practical and Sound Interface Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Refinement in Object-Z and CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Combining Specification Techniques for Processes, Data and Time
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Model Checking Object-Z Using ASM
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Minimally and Maximally Abstract Retrenchments
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Plan Analysis for Autonomous Sociological Agents
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Running AgentSpeak(L) Agents on SIM_AGENT
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Combining Independent Specifications
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Behavioral Conformance Verification in an Integrated Approach Using UML and B
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
CONVERSE: a family-oriented software development process for engine controllers
Systems engineering for business process change
Evaluating real-time software specification languages
Computer Standards & Interfaces
Formal methods in practice: the missing links. a perspective from the security area
Modeling and verification of parallel processes
Object models as heap invariants
Programming methodology
Interpreting ODP viewpoint specification: observations from a case study
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Sound methods and effective tools for engineering modeling and analysis
Proceedings of the 25th International Conference on Software Engineering
CSP-OZ-DC: a combination of specification techniques for processes, data and time
Nordic Journal of Computing
Relating state-based and behaviour-oriented subtyping
Nordic Journal of Computing
Restructuring of COBOL/CICS legacy systems
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
Software reuse using formal specification of requirements
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Paradigm shift in software re-engineering: an experience report
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
An SGML-based programming environment for literate programming
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Enhancing the Object Constraint Language for More Expressive Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Visualization of Formal Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Action Systems for Security Specification
CSFW '96 Proceedings of the 9th IEEE workshop on Computer Security Foundations
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Extending Object-Z for Specifying Real-Time Systems
TOOLS '97 Proceedings of the Tools-23: Technology of Object-Oriented Languages and Systems
Verification and Validation Techniques of Object-Oriented Software Systems
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
Contracts: From Analysis to C++ Implementation
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
But Who Will Guard the Guardians?
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
Improving design dependability based on the TRON loose standardization approach
TRON '95 Proceedings of the The 12th TRON Project International Symposium, 1995
The architectural specification of an avionic subsystem
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A framework for adding time into formal object models
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
A pragmatic, rigorous integration of structural and behavioral modeling notations
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Test Case Design Based on Z and the Classification-Tree Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Towards a rigorous object-oriented analysis and design method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Methodological Approach to the Requirement Specification of Embedded Systems
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Automatic Generation of Formal Specification from Requirements Definition
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Putting non-functional requirements into software architecture
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Methodological Support for Requirements Elicitation and Formal Specification
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Towards a motivation-based approach for evaluating goals
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A formal specification language for agent-oriented software engineering
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
TestEra: A Novel Framework for Automated Testing of Java Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Consistency Checking between Data and Process Diagrams based on Formal Methods
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Extending Z with State Transition Constraints
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Confidentiality-Preserving Refinement
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Design Fault Tolerance in Operating Systems Based on a Standardization Project
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
API documentation with executable examples
Journal of Systems and Software
SAICSIT '03 Proceedings of the 2003 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology
Disunification in ACI1 Theories
Constraints
Illuminating software specifications
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Translating the Object Constraint Language into the Java Modelling Language
Proceedings of the 2004 ACM symposium on Applied computing
Automated complexity analysis of Nuprl extracted programs
Journal of Functional Programming
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Agent orientation in software engineering
The Knowledge Engineering Review
From definition to deployment: What next for agent-based systems?
The Knowledge Engineering Review
A software architecture for knowledge-based systems
The Knowledge Engineering Review
A formal framework for modelling and analysing mobile systems
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
On the testability of SDL specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
A Logical Approach to Quality of Service Specification in Video Databases
Multimedia Tools and Applications
Software assurance by bounded exhaustive testing
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
An artificial immune based intrusion detection model for computer and telecommunication systems
Parallel Computing - Special issue: Parallel and nature-inspired computational paradigms and applications
ACM SIGSOFT Software Engineering Notes
A flexible environment to evaluate state-based test techniques
ACM SIGSOFT Software Engineering Notes
Testing Context-Sensitive Middleware-Based Software Applications
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
ACM SIGPLAN Notices
A type system for object models
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
Evaluating reasoning heuristics in the context of multi-level marketing structures
SAICSIT '04 Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integrating formalism into undergraduate software engineering
Journal of Systems and Software - Special issue: The new context for software engineering education and training
Extensions for interactivity and retargeting in X3D
Web3D '05 Proceedings of the tenth international conference on 3D Web technology
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Software Assurance by Bounded Exhaustive Testing
IEEE Transactions on Software Engineering
A refinement calculus for software components and architectures
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Plug-in proof support for formal development environments
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
A secure architectural description language for agent systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Trust evaluation through relationship analysis
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Incrementalization across object abstraction
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
UML formalization is a traceability problem
TEFSE '05 Proceedings of the 3rd international workshop on Traceability in emerging forms of software engineering
Formal specification of region-based model for semantic extraction in road traffic monitoring
AFRIGRAPH '06 Proceedings of the 4th international conference on Computer graphics, virtual reality, visualisation and interaction in Africa
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Core role-based access control: efficient implementations by transformations
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Nordic Journal of Computing
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Refactoring-aware version control
Proceedings of the 28th international conference on Software engineering
Components as coalgebras: the refinement dimension
Theoretical Computer Science - Algebraic methodology and software technology
Theoretical Computer Science - Formal methods for components and objects
A constraint solver for sequences and its applications
Proceedings of the 2006 ACM symposium on Applied computing
Correctness by construction: a manifesto for high integrity software
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
Hierarchical verification environment
SCS '05 Proceedings of the 10th Australian workshop on Safety critical systems and software - Volume 55
AOW '05 Proceedings of the 2005 Australasian Ontology Workshop - Volume 58
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Theory and Practice of Logic Programming
A refinement calculus for logic programs
Theory and Practice of Logic Programming
A relational database model for representation of formal specifications
Proceedings of the 44th annual Southeast regional conference
Commercial Experience with Agent-Oriented Software Engineering
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Analyzing static and temporal properties of simulation models
Proceedings of the 38th conference on Winter simulation
Formalization of the RM-ODP foundations based on the Triune Continuum Paradigm
Computer Standards & Interfaces
Procedures and parameters in the real-time program refinement calculus
Science of Computer Programming
Transposing partial components: an exercise on coalgebraic refinement
Theoretical Computer Science - Components and objects
Verification of Aspect-UML models using alloy
Proceedings of the 10th international workshop on Aspect-oriented modeling
Formal specification of program slicing
ACM SIGPLAN Notices
Object oriented concepts identification from formal B specifications
Formal Methods in System Design
Config: a case study in combining software engineering techniques
Scientific Programming
A Transformation-Based Component Framework For A Generic Integrated Modeling Technique
Journal of Integrated Design & Process Science - Component-Based System Development
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Propositional Logic Constraint Patterns and Their Use in UML-Based Conceptual Modeling and Analysis
IEEE Transactions on Knowledge and Data Engineering
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes
IEEE Transactions on Software Engineering
On the Semantics of Associations and Association Ends in UML
IEEE Transactions on Software Engineering
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Developing Java Card Applications with B
Electronic Notes in Theoretical Computer Science (ENTCS)
Integrating UML and Formal Methods
Electronic Notes in Theoretical Computer Science (ENTCS)
Relational Concurrent Refinement with Internal Operations
Electronic Notes in Theoretical Computer Science (ENTCS)
A Denotational Semantics for Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
On checking the consistency of Object-Z classes
ACM SIGSOFT Software Engineering Notes
Composing pattern-based components and verifying correctness
Journal of Systems and Software
Cost enforcement in the real-time specification for Java
Real-Time Systems
Towards a demonstrably-correct ada compiler
Proceedings of the 2007 ACM international conference on SIGAda annual international conference
Proceedings of the ACM first Ph.D. workshop in CIKM
A language-driven approach for the design of interactive applications
Interacting with Computers
A development methodology for moderately open multi-agent systems
SE'07 Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering
Type Checking Circus Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Formalization of UML diagrams and their consistency verification: A Z notation based approach
ISEC '08 Proceedings of the 1st India software engineering conference
Using Model Checking to Automatically Find Retrieve Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
On the Refinement of Atomic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
Trace-based Derivation of a Lock-Free Queue Algorithm
Electronic Notes in Theoretical Computer Science (ENTCS)
Preservation of probabilistic information flow under refinement
Information and Computation
A formal semantics for Gaia liveness rules and expressions
International Journal of Agent-Oriented Software Engineering
Multi-agent designs for ambient systems
Proceedings of the 1st international conference on Ambient media and systems
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
A meta-model semantics for structural constraints in ODP computational language
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
A meta-model syntax for structural constraints in ODP enterprise language
SMO'06 Proceedings of the 6th WSEAS International Conference on Simulation, Modelling and Optimization
On illegal composition of first-class agent interaction protocols
ACSC '08 Proceedings of the thirty-first Australasian conference on Computer science - Volume 74
Completeness of ASM Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
ArcAngelC: a Refinement Tactic Language for Circus
Electronic Notes in Theoretical Computer Science (ENTCS)
General Refinement, Part One: Interfaces, Determinism and Special Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
Alloy as a Refactoring Checker?
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Aspects for Enforcing Formal Architectural Invariants
Electronic Notes in Theoretical Computer Science (ENTCS)
The Method of Levels of Abstraction
Minds and Machines
MASL: A Logic for the Specification of Multiagent Real-Time Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Model Based Refinement and the Tools of Tomorrow
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Formal Modeling and Analysis of a Flash Filesystem in Alloy
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Multi-constraint Security Policies for Delegated Firewall Administration
DSOM '08 Proceedings of the 19th IFIP/IEEE international workshop on Distributed Systems: Operations and Management: Managing Large-Scale Service Deployment
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Intml: A dataflow oriented development system for virtual reality applications
Presence: Teleoperators and Virtual Environments
Design of an event system adopting ontology-based event model for ubiquitous environment
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Self-organising object networks using context zones for distributed activity recognition
Proceedings of the ICST 2nd international conference on Body area networks
Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker
International Journal of Artificial Intelligence and Soft Computing
On the need for user-defined fine-grained access control policies for social networking applications
Proceedings of the workshop on Security in Opportunistic and SOCial networks
Human-Computer Interaction
Human-Computer Interaction
Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models
Information and Software Technology
A Lightweight Approach for the Semantic Validation of Model Refinements
Electronic Notes in Theoretical Computer Science (ENTCS)
MDSM: A Model-Driven Approach to Semantic Service Selection for Collaborative Business Processes
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Verifying the CICS File Control API with Z/Eves: An experiment in the verified software repository
Science of Computer Programming
POSIX file store in Z/Eves: An experiment in the verified software repository
Science of Computer Programming
Decomposition Structures for Event-B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
HasCasl: Integrated higher-order specification and program development
Theoretical Computer Science
Experimental comparison of attack trees and misuse cases for security threat identification
Information and Software Technology
Formal Modelling of PKI Based Authentication
Electronic Notes in Theoretical Computer Science (ENTCS)
The Formal Semantics of the Domain Specific Modeling Language for Multiagent Systems
Agent-Oriented Software Engineering IX
From Formal Access Control Policies to Runtime Enforcement Aspects
ESSoS '09 Proceedings of the 1st International Symposium on Engineering Secure Software and Systems
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools
Transactions on Computational Science IV
Extending SOA with Semantic Mediators
Advanced Internet Based Systems and Applications
Towards a Formal Framework for Workflow Interoperability
Web Services and Formal Methods
Verified Compilation and the B Method: A Proposal and a First Appraisal
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 5th Annual Workshop on Cyber Security and Information Intelligence Research: Cyber Security and Information Intelligence Challenges and Strategies
Invariant-driven specifications in Maude
Science of Computer Programming
Automated deduction for verification
ACM Computing Surveys (CSUR)
The concept of nondeterminism: its development and implications for teaching
ACM SIGCSE Bulletin
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
The development of a multilingual collocation dictionary
MLRI '06 Proceedings of the Workshop on Multilingual Language Resources and Interoperability
The Design and Implementation of Z Language Editor
ICA3PP '09 Proceedings of the 9th International Conference on Algorithms and Architectures for Parallel Processing
ICWL '009 Proceedings of the 8th International Conference on Advances in Web Based Learning
A syndetic approach to referring phenomena in multimodal interaction
ReferringPhenomena '97 Referring Phenomena in a Multimedia Context and their Computational Treatment
On identifying and managing relationships in multi-agent systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Decidable fragments of many-sorted logic
Journal of Symbolic Computation
Chief Chefs of Z to Alloy: Using a Kitchen Example to Teach Alloy with Z
TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Abstract Specification of the UBIFS File System for Flash Memory
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Towards an Operational Semantics for Alloy
FM '09 Proceedings of the 2nd World Congress on Formal Methods
A Robust Semantics Hides Fewer Errors
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Development of Security Software: A High Assurance Methodology
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Using the Alloy Analyzer to Verify Data Refinement in Z
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Downward Simulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Breaking the Model: Finalisation and a Taxonomy of Security Attacks
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Fondue to Specify a Drink Vending Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
An Abstract Equivalence Notion for Object Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Formality, Evolution, and Model-driven Software Engineering
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Small Model Theorem for Data Independent Systems in Alloy
Electronic Notes in Theoretical Computer Science (ENTCS)
Object Oriented Concepts Identification from Formal B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A Z Approach in Validating ORA-SS Data Models
Electronic Notes in Theoretical Computer Science (ENTCS)
An architectural description language for secure Multi-Agent Systems
Web Intelligence and Agent Systems
Transforming use case models to class models and OCL-specifications
International Journal of Computers and Applications
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
Models and tools for managing development processes
Models and tools for managing development processes
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Refinement of higher-order logic programs
LOPSTR'02 Proceedings of the 12th international conference on Logic based program synthesis and transformation
An outline pattern language for Z: five illustrations and two tables
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
When concurrent control meets functional requirements, or Z + petri-nets
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
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
Using coupled simulations in non-atomic refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
An analysis of forward simulation data refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Introducing backward refinement into B
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Proving temporal properties of Z specifications using abstraction
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Compositional verification for object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Comparison of formalisation approaches of UML class constructs in Z and object-Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
ZML: XML support for standard Z
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Towards dynamic population management of abstract machines in the B method
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Using theory morphisms for implementing formal methods tools
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Pipa: a behavioral interface specification language for aspectJ
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A temporal approach to specification and verification of pointer data-structures
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Integration of formal datatypes within state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Formal extreme (and extremely formal) programming
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
Combining formal methods and aspects for specifying and enforcing architectural invariants
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Encoding temporal logics in executable Z: a case study for the ZETA system
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Towards motivation-based decisions for worth goals
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Applicative modelling with RAISE
Domain modeling and the duration calculus
An algebraic view on the semantics of model composition
ECMDA-FA'07 Proceedings of the 3rd European conference on Model driven architecture-foundations and applications
Slotted-circus: a UTP-family of reactive theories
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Validating Z specifications using the PROB animator and model checker
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Decidable fragments of many-sorted logic
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
A formal description language for multi-agent architectures
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Determinisation of relational substitutions in ordered categories with domain
RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra
Building formal method tools in the Isabelle/Isar framework
TPHOLs'07 Proceedings of the 20th international conference on Theorem proving in higher order logics
Meta-modelling syntax and semantics of structural concepts for open networked enterprises
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part III
Proving theorems about JML classes
Formal methods and hybrid real-time systems
Distributed traffic signal control approach based on multi-agent
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 5
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria
Formal methods and testing
Towards formal specification and verification of a role-based authorization engine using JML
Proceedings of the 2010 ICSE Workshop on Software Engineering for Secure Systems
Insights on the design of intml
Presence: Teleoperators and Virtual Environments
Formalization and validation of a subset of the European Train Control System
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Restricted delegation and revocation in language-based security: (position paper)
PLAS '10 Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security
A timeband framework for modelling real-time systems
Real-Time Systems
Towards the design of a set-based Java collections framework
ACM SIGSOFT Software Engineering Notes
CATS '09 Proceedings of the Fifteenth Australasian Symposium on Computing: The Australasian Theory - Volume 94
Towards the design of a set-based Java collections framework
ACM SIGSOFT Software Engineering Notes
Mechanically verified proof obligations for linearizability
ACM Transactions on Programming Languages and Systems (TOPLAS)
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A four-way framework for validating a specification
SAICSIT '10 Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists
A polyadic pi-calculus approach for the formal specification of UML-RT
Advances in Software Engineering
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Programmable verifiers in imperative programming
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
The CoreASM modeling framework
Software—Practice & Experience
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
OCL for the ODP information viewpoint specifications
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
The architecture description language model
Graph transformations and model-driven engineering
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
Automating refinement of circus programs
SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications
A semantics for Behavior Trees using CSP with specification commands
Science of Computer Programming
Formalizing requirements with object models and temporal constraints
Software and Systems Modeling (SoSyM)
An approach to modular and testable security models of real-world health-care applications
Proceedings of the 16th ACM symposium on Access control models and technologies
Ampersand applying relation algebra in practice
RAMICS'11 Proceedings of the 12th international conference on Relational and algebraic methods in computer science
From a community of practice to a body of knowledge: a case study of the formal methods community
FM'11 Proceedings of the 17th international conference on Formal methods
Optimization of visitor performance by reflection-based analysis
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Security in depth through smart space cascades
ACISP'11 Proceedings of the 16th Australasian conference on Information security and privacy
Evaluating software specifications by comparison
Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment
Preservation of integrity constraints by workflow
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
The safety-critical java mission model: a formal account
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Conformance checking of dynamic access control policies
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Validation of security-design models using Z
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A theory of classes from the theoretical foundations of LePUS3
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
A verifiable formal specification for RBAC model with constraints of separation of duty
Inscrypt'06 Proceedings of the Second SKLOIS conference on Information Security and Cryptology
SiTra: simple transformations in Java
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
WSDL RDF mapping: developing ontologies from standardized XML languages
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Sequential, parallel, and quantified updates of first-order structures
LPAR'06 Proceedings of the 13th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
SVG web environment for z specification language
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Formalizing agent-oriented enterprise models
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Constructing property-oriented models for verification
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A relational investigation of UTP designs and prescriptions
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A framework for specification and validation of real-time systems using circus actions
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A perspective on component refinement
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
On deducibility and anonymisation in medical databases
SDM'05 Proceedings of the Second VDLB international conference on Secure Data Management
Checking the conformance of java classes against algebraic specifications
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
An open extensible tool environment for event-b
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Issues in implementing a model checker for z
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Modelling of complex software systems: a reasoned overview
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Koko: an architecture for affect-aware games
Autonomous Agents and Multi-Agent Systems
Modeling and enforcing invariants of dynamic software architectures
Software and Systems Modeling (SoSyM)
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
Z/Eves and the mondex electronic purse
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
An imperative extension to alloy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Formalising and validating RBAC-to-XACML translation using lightweight formal methods
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Towards formally templated relational database representations in z
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Symbolic animation of JML specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Verification of a signature architecture with HOL-Z
FM'05 Proceedings of the 2005 international conference on Formal Methods
Model-checking of specifications integrating processes, data and time
FM'05 Proceedings of the 2005 international conference on Formal Methods
An agent construction model for ubiquitous computing devices
AOSE'04 Proceedings of the 5th international conference on Agent-Oriented Software Engineering
Multidisciplinary investigation into adult stem cell behavior
Transactions on Computational Systems Biology III
JML-Testing-Tools: a symbolic animator for JML specifications using CLP
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A delegation model for designing collaborative multi-agent systems
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part II
Checking the validity of scenarios in UML models
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A semantics for UML-RT active classes via mapping into circus
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
CCC: the CASL consistency checker
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Abstract interpretation-based verification of non-functional requirements
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Model checking z specifications using SAL
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Formal program development with approximations
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Practical data refinement for the z schema calculus
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
AgentZ: extending object-z for multi-agent systems specification
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
Mapping and combining combinatorial problems into energy landscapes via pseudo-boolean constraints
BVAI'05 Proceedings of the First international conference on Brain, Vision, and Artificial Intelligence
Multi-agent system specification using TCOZ
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
The mondex challenge: machine checked proofs for an electronic purse
FM'06 Proceedings of the 14th international conference on Formal Methods
Compositional class refinement in object-z
FM'06 Proceedings of the 14th international conference on Formal Methods
Cost effective software engineering for security
FM'06 Proceedings of the 14th international conference on Formal Methods
Definition and correct refinement of operation specifications
Dependable Systems
Ten commandments ten years on: lessons for ASM, B, Z and VSR-net
Rigorous Methods for Software Construction and Analysis
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
Justifications for the event-b modelling notation
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Constraint solving for sequences in software validation and verification
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
Weaving a fabric of socially aware agents
PRIMA'11 Proceedings of the 14th international conference on Agents in Principle, Agents in Practice
A constrained object model for configuration based workflow composition
BPM'05 Proceedings of the Third international conference on Business Process Management
Making specifications complete through models
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Refinement and consistency in component models with multiple views
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Multi-constraint security policies for delegated firewall administration
International Journal of Network Management
Using object-Z to compare the MVC and PAC architectures
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Development of concurrent systems in B AMN
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Retrenchment: extending refinement for continuous and control systems
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
Recasting hoare and he's unifying theory of programs in the context of general correctness
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
A concurrent language for refinement
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
The single transferable voting system: functional decomposition in formal specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
CASE-based rigorous object-oriented modeling
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
A comparison of formal real-time specification languages
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Towards rigorous analysis of fusion models: the MIRG experiences
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Object-oriented operations have two parts
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Algebraic advances for aliasing
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Using graphical icons to build Z specifications
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
On partial-function application in Z
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Specification and refinement in general correctness
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Improving access of the commercial software developer to formal methods: integrating MERISE with Z
Methods'96 Proceedings of the 1996 international conference on Methods Integration
A tale of two case studies: using integrated methods to support rigorous requirements specication
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Methods'96 Proceedings of the 1996 international conference on Methods Integration
Logic, damned logic, and statistics
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
Extending interface automata with z notation
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Defining relationships in ecology using object-oriented formal specifications
Mathematical and Computer Modelling: An International Journal
A safety-focused verification using software fault trees
Future Generation Computer Systems
Formal QoS Policy Based Grid Resource Provisioning Framework
Journal of Grid Computing
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Critical systems development methodology using formal techniques
Proceedings of the Third Symposium on Information and Communication Technology
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Pushouts in software architecture design
Proceedings of the 11th International Conference on Generative Programming and Component Engineering
Towards Automated Consistency Checking of Module Interface Specifications
Fundamenta Informaticae
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Safety process improvement with POSE and alloy
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
A comparative study of two formal specification languages: Z-notation & B-method
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
BETA: a b based testing approach
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
A model-driven approach to teaching concurrency
ACM Transactions on Computing Education (TOCE)
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
Model-Based usage control policy derivation
ESSoS'13 Proceedings of the 5th international conference on Engineering Secure Software and Systems
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
Loop invariants: Analysis, classification, and examples
ACM Computing Surveys (CSUR)
Linking Unifying Theories of Program refinement
Science of Computer Programming
Context-dependent product line engineering with lightweight formal approaches
Science of Computer Programming
Progressive Development and Teaching with RAP
Proceedings of the 3rd Computer Science Education Research Conference on Computer Science Education Research
A relational approach to an algebraic community: from paul erdős to he jifeng
Theories of Programming and Formal Methods
Co-evolutionary automatic programming for software development
Information Sciences: an International Journal
Comparing attack trees and misuse cases in an industrial setting
Information and Software Technology
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design
| Hi-index | 0.00 |