Structured analysis—formal design, using stream and object oriented formal specifications
Conference proceedings on Formal methods in software development
Coherent models for object-oriented analysis
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
IEEE Transactions on Software Engineering
Ada/TL specification and verification of a distributed computation
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
IEEE Transactions on Software Engineering
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Towards a canonical specification of document structures
SIGDOC '92 Proceedings of the 10th annual international conference on Systems documentation
Dynamic sets and their application in VDM
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
A verification helper for task specifications
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Deriving modular designs from formal specifications
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Deriving programs using generic algorithms
IBM Systems Journal
ACM SIGACT News
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
Assessment of Safety-Critical Specifications
IEEE Software
Towards an introductory formal programming course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Strategies for incorporating formal specifications in software development
Communications of the ACM
ADVcharts: a visual formalism for interactive systems
ACM SIGCHI Bulletin
A Practical Approach to Programming With Assertions
IEEE Transactions on Software Engineering
Abstract Data Views: An Interface Specification Concept to Enhance Design for Reuse
IEEE Transactions on Software Engineering
Invariants, Frames and Postconditions: A Comparison of the VDM and B Notations
IEEE Transactions on Software Engineering
Aspect: detecting bugs with abstract dependences
ACM Transactions on Software Engineering and Methodology (TOSEM)
Introducing data decomposition into VDM for tractable development of programs
ACM SIGPLAN Notices
ACM SIGSOFT Software Engineering Notes
State abstraction and modular software development
SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
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
A Knowledge-Based Approach to the Analysis of Loops
IEEE Transactions on Software Engineering
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
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal refinement patterns for goal-driven requirements elaboration
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
ISO/IEC 10514–1, the standard for Modula-2: process aspects
ACM SIGPLAN Notices
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
IEEE Transactions on Software Engineering
Early specification of user-interfaces: toward a formal approach
ICSE '97 Proceedings of the 19th international conference on Software engineering
Proving specifications of tasking systems using Ada/TL
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
SPARK—an annotated Ada subset for safety-critical programming
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Dynamic mutation testing in integrated regression analysis
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
OOSPEC: an executable object-oriented specification language
CSC '95 Proceedings of the 1995 ACM 23rd annual conference on Computer science
Lightweight formal methods for computer algebra systems
ISSAC '98 Proceedings of the 1998 international symposium on Symbolic and algebraic computation
Subtypes for Specifications: Predicate Subtyping in PVS
IEEE Transactions on Software Engineering
Dependency analysis of Ada programs
Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Decomposition in Real-Time Safety-Critical Systems
Real-Time Systems
Formal Methods Technology Transfer: A View from NASA
Formal Methods in System Design - Special issue: industrial critical systems
Three dimensional software modelling
Proceedings of the 20th international conference on Software engineering
Software engineering education: Rôles of formal specification and design calculi
Annals of Software Engineering - Special issue on software engineering education
Proceedings of the Conference on The Future of Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
Proceedings of the 2001 ACM symposium on Applied computing
A graphical user interface for executing formal specifications
Proceedings of the 2001 ACM symposium on Applied computing
Enhanced operational semantics: a tool for describing and analyzing concurrent systems
ACM Computing Surveys (CSUR)
A system for predictable component-based software construction
High integrity software
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Refinement and state machine abstraction
Theoretical Computer Science
A formal design notation for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
Formal methods for distributed processing
State-based approaches: from Z to object-Z
Formal methods for distributed processing
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Synthesizing structured analysis and object-based formal specifications
Annals of Software Engineering
Abstraction and context in requirements engineering: Toward a synthesis
Annals of Software Engineering
Tools for producing formal specifications: a view of current architectures and future directions
Annals of Software Engineering
Programming faults and errors: Towards a theory of software incorrectness
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
The use of domain knowledge in program understanding
Annals of Software Engineering
Specification and Animation of a Bank Transfer using KIDS/VDM
Automated Software Engineering
Specification-Based Browsing of Software Component Libraries
Automated Software Engineering
Executing Formal Specifications with Concurrent Constraint Programming
Automated Software Engineering
Specifying and Automatically Generating a Specialization Tool for Fortran 90
Automated Software Engineering
A Preliminary Software Engineering Theory as Investigated by Published Experiments
Empirical Software Engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
A Data/Knowledge Paradigm for the Modeling and Design of Operations Support Systems
IEEE Transactions on Knowledge and Data Engineering
The Knowledge Acquisition and Representation Language, KARL
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
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Logic Programming for Software Engineering: A Second Chance
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Reflective Analysis and Design for Adapting Object Run-Time Behavior
OOIS '02 Proceedings of the 8th International Conference on Object-Oriented. Information Systems
Formal Modelling of Reactive Agents as an Aggregation of Simple Behaviours
SETN '02 Proceedings of the Second Hellenic Conference on AI: Methods and Applications of Artificial Intelligence
Logic for Component-Based Software Development
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Developing Quality Software Systems Using the SOFL Formal Engineering Method
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
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
Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Techniques for Embedding Executable Specifications in Software Component Interfaces
ICCBSS '03 Proceedings of the Second International Conference on COTS-Based Software Systems
HOL-OCL: Experiences, Consequences and Design Choices
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
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
A Theory of Generalised Substitutions
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
A Single Complete Refinement Rule for Demonic Specifications
TCS '00 Proceedings of the International Conference IFIP on Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics
Automated Black-Box Testing with Abstract VDM Oracles
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Specification of an Active Database System Application Using Dynamic Relation Nets
CL '00 Proceedings of the First International Conference on Computational Logic
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
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
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
The Formal Classification and Verification of Simpson's 4-Slot Asynchronous Communication Mechanism
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Structural Embeddings: Mechanization with Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Verifying Consistency and Validity of Formal Specifications by Testing
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
Relating Z and First-Order Logic
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Formal Methods for Extensions to CAS
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
Generic Facilities in Object-Oriented ASMs
ASM '00 Proceedings of the International Workshop on Abstract State Machines, Theory and Applications
Proving Correctness of Programs with IO - A Paradigm Comparison
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
ISpec: Towards Practical and Sound Interface Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Minimally and Maximally Abstract Retrenchments
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
The Amsterdam Manifesto on OCL
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Exploiting Formality in Software Engineering
SOFSEM '99 Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics
Test-Case Calculation through Abstraction
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Reliability assessment through probabilistic refinement
Nordic Journal of Computing
Applying SOFL to Develop a University Information System
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Enhancing the Object Constraint Language for More Expressive Specifications
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Comparing formal specifications by measuring
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
The CARE toolset for developing verified programs from formal specifications
SAST '96 Proceedings of the Proceedings of the Fourth International Symposium on Assessment of Software Tools (SAST '96)
Inheriting and Modifying Behavior
TOOLS '97 Proceedings of the Tools-23: 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)
A calculus of hazard for railway signalling
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Applying SOFL to Specify A Railway Crossing Controller for Industry
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
The state-based CCS semantics for concurrent Z specification
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Formal specification of dynamic constraints with the B method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Using CARE to Construct Verified Software
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Inheritance: From Code Reuse to Reasoning Reuse
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
A Mechanized Proof Environment for the Convenient Computations Proof Method
Formal Methods in System Design
Predicting problems caused by component upgrades
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Developing reactive systems in a VDM framework
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
ADVcharts: a graphical specification for abstract data views
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Verification of non-functional programs using interpretations in type theory
Journal of Functional Programming
Translating the Object Constraint Language into the Java Modelling Language
Proceedings of the 2004 ACM symposium on Applied computing
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
On the testability of SDL specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
TestEra: Specification-Based Testing of Java Programs Using SAT
Automated Software Engineering
Undefinedness vs. underspecification in HALDEN ASL
Nordic Journal of Computing
Enhancing Structured Review with Model-Based Verification
IEEE Transactions on Software Engineering
The atomic manifesto: a story in four quarks
ACM SIGOPS Operating Systems Review
The atomic manifesto: a story in four quarks
ACM SIGMOD Record
How the design of JML accommodates both runtime assertion checking and formal verification
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Flush: a system development tool based on scade/lustre
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Plug-in proof support for formal development environments
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
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
Logical Foundations of Program Assertions: What do Practitioners Want?
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Perceptions of extreme programming: an exploratory study
ACM SIGSOFT Software Engineering Notes
Heterogeneous system level co-simulation for the design of telecommunication systems
Journal of Systems Architecture: the EUROMICRO Journal
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
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
An extension of COCOMO II for the B-Method
Proceedings of the 2006 international workshop on Economics driven software engineering research
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
Early detection of JML specification errors using ESC/Java2
Proceedings of the 2006 conference on Specification and verification of component-based systems
Transposing partial components: an exercise on coalgebraic refinement
Theoretical Computer Science - Components and objects
Applying domain engineering using RAISE into a particular banking domain
ACM SIGSOFT Software Engineering Notes
Theoretical Computer Science
Config: a case study in combining software engineering techniques
Scientific Programming
A Sound Assertion Semantics for the Dependable Systems Evolution Verifying Compiler
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Test case generation from formal models through abstraction refinement and model checking
Proceedings of the 3rd international workshop on Advances in model-based testing
Theoretical Computer Science
Managing Conflicts of Interest in Virtual Organisations
Electronic Notes in Theoretical Computer Science (ENTCS)
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method
Electronic Notes in Theoretical Computer Science (ENTCS)
Preservation of probabilistic information flow under refinement
Information and Computation
On the refinement of web application systems from upper-stream models to program models
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Journal of Systems Architecture: the EUROMICRO Journal
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Constructing Formally Verified Reasoners for the ALC Description Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
The connection between two ways of reasoning about partial functions
Information Processing Letters
Applying formal methods for the design of wireless telecommunication systems
Proceedings of the 3rd international conference on Mobile multimedia communications
Linking Event-B and Concurrent Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Derivation of program models for web application systems using meta-models
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Search-based many-to-one component substitution
Journal of Software Maintenance and Evolution: Research and Practice - Search Based Software Engineering [SBSE]
Grid Application Fault Diagnosis Using Wrapper Services and Machine Learning
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM
FM '08 Proceedings of the 15th international symposium on Formal Methods
A Practical Single Refinement Method for B
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Expression Decomposition in a Rely/Guarantee Context
VSTTE '08 Proceedings of the 2nd international conference on Verified Software: Theories, Tools, Experiments
Reasoning about programs via operational semantics: requirements for a support system
Automated Software Engineering
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
A Practical Approach to Partiality --- A Proof Based Approach
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
On the Identification of Goals in Stakeholders' Dialogs
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Refinement and verification in component-based model-driven design
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
A comparative evaluation of the Z, CSP, RSL, and VDM languages
ACM SIGSOFT Software Engineering Notes
Integration of formal specification, review, and testing for software component quality assurance
Proceedings of the 2009 ACM symposium on Applied Computing
Equality and hashing for (almost) free: Generating implementations from abstraction functions
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Invariant-driven specifications in Maude
Science of Computer Programming
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Automated deduction for verification
ACM Computing Surveys (CSUR)
Teaching formal methods in the context of software engineering
ACM SIGCSE Bulletin
Integrating top-down and scenario-based methods for constructing software specifications
Information and Software Technology
Model Based Testing of a Network-on-Chip Component
Electronic Notes in Theoretical Computer Science (ENTCS)
Atomic requirements for software architecting
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling Concurrent Systems with Shared Resources
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Compositional Verification of Input-Output Conformance via CSP Refinement Checking
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
What Level of Mathematical Reasoning can Computer Science Demand of a Software Implementer?
Electronic Notes in Theoretical Computer Science (ENTCS)
An Analysis of Operation-Refinement in an Abortive Paradigm
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Fondue to Specify a Drink Vending Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
An Approach to Splitting Atoms Safely
Electronic Notes in Theoretical Computer Science (ENTCS)
Reasoning About Partial Functions in the Formal Development of Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Information and Software Technology
Problem frames and software engineering
Information and Software Technology
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
A new definitional specification language
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartI
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
Composing specifications of event based applications
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Pipa: a behavioral interface specification language for aspectJ
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Automated and unanticipated flexible component substitution
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
Formal engineering of XACML access control policies in VDM++
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Elimination of ghost variables in program logics
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Programmable messaging for electronic government - building a foundation
Formal methods and hybrid real-time systems
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
Deriving specifications for systems that are connected to the physical world
Formal methods and hybrid real-time systems
On revival of Algol-concepts in modern programming and specification languages
Formal methods and hybrid real-time systems
Investigating a new formal model for autonomous virtual organisation using RAISE method
International Journal of Networking and Virtual Organisations
Invariants and well-foundedness in program algebra
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
An approach of requirements tracing in formal refinement
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Reasoning about loops in total and general correctness
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
Building a test-ready abstraction of a behavioral model using CLP
TAP'10 Proceedings of the 4th international conference on Tests and proofs
A semantics for Behavior Trees using CSP with specification commands
Science of Computer Programming
ITP'11 Proceedings of the Second international conference on Interactive theorem proving
Pre-post notation is questionable in effectively specifying operations of object-oriented systems
Frontiers of Computer Science in China
A Deterministic Interpreter Simulating A Distributed real time system using VDM
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
On fitting a formal method into practice
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Stepwise development of secure systems
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
The role of situation awareness in assuring safety of autonomous vehicles
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
On the semantics of functional descriptions of web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
JML’s rich, inherited specifications for behavioral subtypes
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
rCOS: a formal model-driven engineering method for component-based software
Frontiers of Computer Science in China
rCOS: theory and tool for component-based model driven development
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
An imperative extension to alloy
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Compiling formal specifications to oz programs
MOZ'04 Proceedings of the Second international conference on Multiparadigm Programming in Mozart/Oz
CCC: the CASL consistency checker
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Specification before satisfaction: the case for research into obtaining the right specification
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
A formal framework for confidentiality-preserving refinement
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
Advanced Lectures on Software Engineering
Synthesis of scenario based test cases from b models
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
A bytecode logic for JML and types
APLAS'06 Proceedings of the 4th Asian conference on Programming Languages and Systems
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Code generation via higher-order rewrite systems
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Connectors as designs: Modeling, refinement and test case generation
Science of Computer Programming
The user context and formal specification in interactive system design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
A formal basis for modelling process and task management aspects of user interface design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
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
Towards a semantics for multidimensional array assignment in fortran 95
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Computer aided incremental specification
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
A generic model for state-based agent systems
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Facilitating modular property-preserving extensions of programming languages
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Proof and refutation in formal software development
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
The role of proof in a formal specification of the speedway rulebook
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Modular composition of language features through extensions of semantic language models
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Transformation of MTCCS into an extension of timed
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Algebraic advances for aliasing
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
The formal development of a windows interface
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
Modular semantics for object-oriented models
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Redevelopment of an industrial case study using event-B and Rodin
FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry
Generating verifiable java code from verified PVS specifications
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Preventing arithmetic overflows in alloy
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Refinement plans for informed formal design
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
A semantic analysis of logics that cope with partial terms
ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Program extrapolation with jennisys
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
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
Aspects of abstraction in software development
Software and Systems Modeling (SoSyM)
Validation of formal models by refinement animation
Science of Computer Programming
A Two-Valued Logic for Properties of Strict Functional Programs Allowing Partial Functions
Journal of Automated Reasoning
Translation of Z specifications to executable code: Application to the database domain
Information and Software Technology
Safe substitution for service-based applications
Proceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications
What's wrong with git?: a conceptual design analysis
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Theories of Programming and Formal Methods
A method and tool for tracing requirements into specifications
Science of Computer Programming
Formally Verified Tableau-Based Reasoners for a Description Logic
Journal of Automated Reasoning
Data Linkage Algebra, Data Linkage Dynamics, and Priority Rewriting
Fundamenta Informaticae
Hi-index | 0.02 |