IRTAW '87 Proceedings of the first international workshop on Real-time Ada issues
Transaction processing primitives and CSP
IBM Journal of Research and Development
Specification statements and refinements
IBM Journal of Research and Development
ACM Transactions on Programming Languages and Systems (TOPLAS)
Extensions to communicating sequential processes to allow protocol performance specification
SIGCOMM '87 Proceedings of the ACM workshop on Frontiers in computer communications technology
A simple approach to specifying concurrent systems
Communications of the ACM
Metamodels for system development
ACM SIGSOFT Software Engineering Notes
Interface specification with temporal logic
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Formally specifying electronic instruments
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
LCD-reification: a formal method for developing Prolog programs
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
An example of formal specification as an aid to design and development
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Estimating the number of test cases required to satisfy the all-du-paths testing criterion
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
The international standardization of Modula-2
CSC '89 Proceedings of the 17th conference on ACM Annual Computer Science Conference
N-Fold inspection: a requirements analysis technique
Communications of the ACM
Kit: A Study in Operating System Verification
IEEE Transactions on Software Engineering
Unreachable States in Model-Oriented Specifications
IEEE Transactions on Software Engineering
On Criteria for Module Interfaces
IEEE Transactions on Software Engineering
An Ontological Model of an Information System
IEEE Transactions on Software Engineering
Graphical specification of object oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
GARDEN—an integrated and evolving environment for ULSI/VLSI CAD applications
IBM Systems Journal
The role of formal reusable frameworks
Conference proceedings on Formal methods in software development
Formal specification for a clinical cyclotron control system
Conference proceedings on Formal methods in software development
Applying VDM to large developments
Conference proceedings on Formal methods in software development
An experiment in formal software development: using the B theorem prover on a VDM case study
ICSE '90 Proceedings of the 12th international conference on Software engineering
Models of Software Development Environments
IEEE Transactions on Software Engineering
An OBJ3 functional specification for boundary representation
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Formalization of Protocol Engineering Concepts
IEEE Transactions on Computers - Special issue on protocol engineering
Stepwise design of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
Requirements Validation Through Viewpoint Resolution
IEEE Transactions on Software Engineering
TRI-Ada '91 Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations
DAIDA: an environment for evolving information systems
ACM Transactions on Information Systems (TOIS)
An experimental study of fault detection in user requirements documents
ACM Transactions on Software Engineering and Methodology (TOSEM)
A formal structured method for requirement specification construction
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Arrays and pointers considered harmful
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A common compiler for LOTOS and SDL specifications
IBM Systems Journal
The process of object-oriented design
OOPSLA '92 conference proceedings on Object-oriented programming systems, languages, and applications
The property vector specification of a multiset iterator
ICSE '92 Proceedings of the 14th international conference on Software engineering
Toward tools to support the Gries/Dijkstra design process
ACM SIGSOFT Software Engineering Notes
ACM Transactions on Software Engineering and Methodology (TOSEM)
Procedural implementation of algebraic specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
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 practical approach to software engineering using Z and the refinement calculus
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Defining context-dependent syntax without using contexts
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Dexter hypertext reference model
Communications of the ACM
Using ABC to prototype VDM specifications
ACM SIGPLAN Notices
ACM SIGPLAN OOPS Messenger
The Concert signature representation: IDL as intermediate language
IDL '94 Proceedings of the workshop on Interface definition languages
Using belief to reason about cache coherence
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A Decompositional Approach to the Design of Parallel Programs
IEEE Transactions on Software Engineering
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Annealing and data decomposition in VDM
ACM SIGPLAN Notices
A theory of probabilistic functional testing
ICSE '97 Proceedings of the 19th international conference on Software engineering
A tailored design language: putting model based formal specification into practice
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
Aspect: an economical bug-detector
ICSE '91 Proceedings of the 13th international conference on Software engineering
“…And nothing else changes”: the frame problem in procedure specifications
ICSE '93 Proceedings of the 15th 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
Formal Requirements Analysis of an Avionics Control System
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Compositional refinement of interactive systems
Journal of the ACM (JACM)
ACM SIGSOFT Software Engineering Notes
An undergraduate course in formal methods: “description is our business”
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Isomorph-free model enumeration: a new method for checking relational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Functional Rephrasing of the Assumption/Commitment Specification Style
Formal Methods in System Design
Exercises for teaching logic in a formal methods course: formalizing ERDs
SIGCSE '99 The proceedings of the thirtieth SIGCSE technical symposium on Computer science education
Procedure-Level Verification of Real-time Concurrent Systems
Real-Time Systems
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
Undefined Expressions and Logic in Z and B
Formal Methods in System Design
Probe: a formal specification-based testing system
ICIS '99 Proceedings of the 20th international conference on Information Systems
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
B: towards zero defect software
High integrity software
Increasing client-side confidence in remote component implementations
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
A user-friendly formal requirements specification method
ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Theoretical Computer Science
Data abstraction and information hiding
ACM Transactions on Programming Languages and Systems (TOPLAS)
A source of inconsistency in theories of nondeterministic functions
Science of Computer Programming
Software quality through domain-driven certification
Annals of Software Engineering
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
A Real-Time Discrete Event System Specification Formalismfor Seamless Real-Time Software Development
Discrete Event Dynamic Systems
Partial Functions in a Total Setting
Journal of Automated Reasoning
Information Systems Frontiers
Computer
IEEE Software
A Formal Specification of an Oscilloscope
IEEE Software
Can we Formally Specify a Medical Decision Support System?
IEEE Expert: Intelligent Systems and Their Applications
The Formal Specification of a Small Bookshop Information System
IEEE Transactions on Software Engineering
Stepwise Design of Real-Time Systems
IEEE Transactions on Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
CASL: the common algebraic specification language
Theoretical Computer Science
An Exercise in Conditional Refinement
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Formal Methods for the Re-Engineering of Computing Systems: A Comparison
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
ECOOP '87 Proceedings of the European Conference on Object-Oriented Programming
Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Role of Model Transformation in Method Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Theorem Prover Support for Precondition and Correctness Calculation
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
An Environment for Formal Specification and Verification of Lingware
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Specifying Concurrent System Behavior and Timing Constraints Using OCL and UML
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Formal Methods: The Problem Is Education
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
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
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Modelling Microsoft COM Using pi-Calculus
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Using OCL and UML to Specify System Behavior
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Programming methodology
Formal Methods: Mathematics, Computer Science, or Software Engineering?
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program
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
Using fault injection to increase software test coverage
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
The Early Search for Tractable Ways of Reasoning about Programs
IEEE Annals of the History of Computing
Declarative specification and declarative programming
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Preconditions for understanding
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
Illuminating software specifications
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
An approach to the formal specification of lingware
Natural Language Engineering
Outline of a Theory of Strongly Semantic Information
Minds and Machines
Vers l'utilisation des méthodes formelles pour le développement de linguiciels
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
A formal software requirements specification method for digital nuclear plant protection systems
Journal of Systems and Software - Special issue: Automated component-based software engineering
Integrating formalism into undergraduate software engineering
Journal of Systems and Software - Special issue: The new context for software engineering education and training
Proposal for a language compatible arithmetic standard
ACM SIGNUM Newsletter
The role of modelling in the software engineering curriculum
Journal of Systems and Software - Special issue: Software engineering education and training
Design and verification of fault tolerant systems with CSP
Distributed Computing
Reasoning about static and dynamic properties in alloy: A purely relational approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM (JACM)
Modular verification of assembly code with stack-based control abstractions
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
From semantic web to expressive software specifications: a modeling languages spectrum
Proceedings of the 28th international conference on Software engineering
Components as coalgebras: the refinement dimension
Theoretical Computer Science - Algebraic methodology and software technology
An automated approach to specification animation for validation
Journal of Systems and Software
Communication support for systems engineering - process modelling and animation with APRIL
Journal of Systems and Software
A framework for the static verification of api calls
Journal of Systems and Software
An Orchestrator for Dynamic Interconnection of Software Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Efficient Analysis of DynAlloy Specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards A Dynamic Healthcare Process: From Requirement Capture To Simulation
Journal of Integrated Design & Process Science
Deriving event-based transition systems from goal-oriented requirements models
Automated Software Engineering
Implications of a Data Structure Consistency Checking System
Verified Software: Theories, Tools, Experiments
Checking Well-Formedness of Pure-Method Specifications
FM '08 Proceedings of the 15th international symposium on Formal Methods
Calculating Invariants as Coreflexive Bisimulations
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Efficient Well-Definedness Checking
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Automated Software Engineering
Transforming Data by Calculation
Generative and Transformational Techniques in Software Engineering II
The untrained eye: how languages for software specification support understanding in untrained users
Human-Computer Interaction
Investigating a new formal model for a library system using B method
ACM SIGSOFT Software Engineering Notes
FAW '09 Proceedings of the 3d International Workshop on Frontiers in Algorithmics
A comparative introduction to CSP and ACT-ONE formal languages
ACM SIGSOFT Software Engineering Notes
Security, Probability and Nearly Fair Coins in the Cryptographers' Café
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Information and Software Technology
Lessons learned from rigorous system software development
Information and Software Technology
Transforming use case models to class models and OCL-specifications
International Journal of Computers and Applications
Models and tools for managing development processes
Models and tools for managing development processes
Using coupled simulations in non-atomic refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Formal extreme (and extremely formal) programming
XP'03 Proceedings of the 4th international conference on Extreme programming and agile processes in software engineering
From use cases to system operation specifications
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Rewrite rules and operational semantics for model checking UML statecharts
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
ICTAC'07 Proceedings of the 4th international conference on Theoretical aspects of computing
Semantic subtyping with an SMT solver
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Software architecture design: evaluation and transformation
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Improving software testability with assertion insertion
ITC'94 Proceedings of the 1994 international conference on Test
Specification for reactive bulk-synchronous programming
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
An overview of the Jahob analysis system: project goals and current status
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Testing techniques in software engineering
Testing techniques in software engineering
Minds and Machines
System verification through program verification
FM'11 Proceedings of the 17th international conference on Formal methods
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
A perspective on component refinement
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Proving consistency and completeness of model classes using theory interpretation
FASE'10 Proceedings of the 13th international conference on Fundamental Approaches to Software Engineering
Refining exceptions in four-valued logic
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
The location linking concept: a basis for verification of code using pointers
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
Using temporal logic in the specification of reactive and interactive systems
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Design and verification of a coherent shared memory
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
A simple algorithm specification language and its application
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Teaching formal methods: lessons to learn
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Critical systems development methodology using formal techniques
Proceedings of the Third Symposium on Information and Communication Technology
An overview of the Leon verification system: verification by translation to recursive functions
Proceedings of the 4th Workshop on Scala
Communications of the ACM
Linking Unifying Theories of Program refinement
Science of Computer Programming
An observationally complete program logic for imperative higher-order functions
Theoretical Computer Science
ConceVE: Conceptual modeling and formal validation for everyone
ACM Transactions on Modeling and Computer Simulation (TOMACS)
| Hi-index | 0.07 |