The Real-Time Process Algebra (RTPA)
Annals of 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
Introducing Reference Semantics via Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
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
Formal semantics for interacting UML subsystems
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
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
Relating state-based and behaviour-oriented subtyping
Nordic Journal of Computing
Abstracting refinements for transformation
Nordic Journal of Computing
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
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
Components as coalgebras: the refinement dimension
Theoretical Computer Science - Algebraic methodology and software technology
Logic and refinement for charts
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
A Relational Framework For The Integration Of Specifications
Journal of Integrated Design & Process Science
Engineering and theoretical underpinnings of retrenchment
Science of Computer Programming
Formal Models for Informal GUI Designs
Electronic Notes in Theoretical Computer Science (ENTCS)
Relational Concurrent Refinement with Internal Operations
Electronic Notes in Theoretical Computer Science (ENTCS)
Using Model Checking to Automatically Find Retrieve Relations
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Preservation of probabilistic information flow under refinement
Information and Computation
Generic Tools via General Refinement
Electronic Notes in Theoretical Computer Science (ENTCS)
The Abstract State Machines Method: Preface
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
ForMAAD: A formal method for agent-based application design
Web Intelligence and Agent Systems
Completeness of ASM Refinement
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)
Refactoring Real-time Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Introducing Objects through Refinement
FM '08 Proceedings of the 15th international symposium on Formal Methods
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
A Minimal Set of Refactoring Rules for Object-Z
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
A Lightweight Approach for the Semantic Validation of Model Refinements
Electronic Notes in Theoretical Computer Science (ENTCS)
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
Formal Development of Self-organising Systems
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
Static Class Elements for Object-Z
Electronic Notes in Theoretical Computer Science (ENTCS)
A Robust Semantics Hides Fewer Errors
FM '09 Proceedings of the 2nd World Congress on Formal Methods
An Analysis of Operation-Refinement in an Abortive Paradigm
Electronic Notes in Theoretical Computer Science (ENTCS)
Model Checking Downward Simulations
Electronic Notes in Theoretical Computer Science (ENTCS)
Semantics of OCL Operation Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Operation refinement and monotonicity in the schema calculus
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
An analysis of forward simulation data refinement
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
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Proving linearizability via non-atomic refinement
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A refinement method for Java programs
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Incompleteness of relational simulations in the blocking paradigm
Science of Computer Programming
Mechanically verified proof obligations for linearizability
ACM Transactions on Programming Languages and Systems (TOPLAS)
Property transformation under specification change
Frontiers of Computer Science in China
Changing system interfaces consistently: A new refinement strategy for CSP||B
Science of Computer Programming
SiTra: simple transformations in Java
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
An OCL-Based technique for specifying and verifying refinement-oriented transformations in MDE
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Stepwise development of secure systems
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Developing provable secure m-commerce applications
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
A relational investigation of UTP designs and prescriptions
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Heuristics on the definition of UML refinement patterns
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
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
A formal framework for confidentiality-preserving refinement
ESORICS'06 Proceedings of the 11th European conference on Research in Computer Security
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
Refinement and consistency in component models with multiple views
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
PAMPERO: precise assistant for the modeling process in an environment with refinement orientation
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
PAMPERO: precise assistant for the modeling process in an environment with refinement orientation
UML Modeling Languages and Applications
Modelling user manuals of modal medical devices and learning from the experience
Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems
How to prove algorithms linearisable
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
The Abstract State Machines Method
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Compositionality and refinement in model-driven engineering
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
Hi-index | 0.00 |