ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Methods Applied to a Floating-Point Number System
IEEE Transactions on Software Engineering
Properties of Z specifications
ACM SIGSOFT Software Engineering Notes
Formally specifying electronic instruments
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
A formal framework for the design of development environments
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Kit: A Study in Operating System Verification
IEEE Transactions on Software Engineering
On Criteria for Module Interfaces
IEEE Transactions on Software Engineering
Invariant properties in a dialog system
Conference proceedings on Formal methods in software development
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
The property vector specification of a multiset iterator
ICSE '92 Proceedings of the 14th international conference on Software engineering
Deriving programs using generic algorithms
IBM Systems Journal
Understanding the differences between VDM and Z
ACM SIGSOFT Software Engineering Notes
The Concert signature representation: IDL as intermediate language
IDL '94 Proceedings of the workshop on Interface definition languages
ADL—an interface definition language for specifying and testing software
IDL '94 Proceedings of the workshop on Interface definition languages
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Report of a workshop on future directions in programming languages and compilers
ACM SIGPLAN Notices
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Strategic directions in software quality
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Early specification of user-interfaces: toward a formal approach
ICSE '97 Proceedings of the 19th international conference on Software engineering
Programming languages for mobile code
ACM Computing Surveys (CSUR)
Integration of sequential scenarios
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
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Formal verification and analysis of multimedia systems
MULTIMEDIA '99 Proceedings of the seventh ACM international conference on Multimedia (Part 1)
COM revisited: tool-assisted modelling of an architectural framework
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Information and Computation
Abstraction and context in requirements engineering: Toward a synthesis
Annals of Software Engineering
The use of domain knowledge in program understanding
Annals of Software Engineering
Partial Functions in a Total Setting
Journal of Automated Reasoning
The Knowledge Acquisition and Representation Language, KARL
IEEE Transactions on Knowledge and Data Engineering
A Formal Model for Module Interconnection Languages
IEEE Transactions on Software Engineering
Incorporating Non-functional Requirements into Software Architectures
IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
An Exercise in Conditional Refinement
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
Disjoint Sums over Type Classes in HOL
TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
A Generic Library for Floating-Point Numbers and Its Application to Exact Computing
TPHOLs '01 Proceedings of the 14th 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
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
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
An Integrated Approach to Specification and Validation of Real-Time Systems
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
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
Relating Z and First-Order Logic
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
Modelling Microsoft COM Using pi-Calculus
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
Restructuring of COBOL/CICS legacy systems
Science of Computer Programming - Software maintenance and reengineering (CSMR 99)
The Quest for Correct Systems: Model Checking of Diagrams and Datatypes
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Technology Transfer Issues for Formal Methods of Software Specification
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Specifying Lifecycles of Object Interactions within Distributed Systems
SMW '96 Proceedings of the 2nd IEEE International Workshop on Systems Management (SMW'96)
A "Coming and Going" Approach to Specification Construction: A Scenario
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Developing reactive systems in a VDM framework
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
IEEE/ACM Transactions on Networking (TON)
An approach to the formal specification of lingware
Natural Language Engineering
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries
ACM Transactions on Information Systems (TOIS)
On the testability of SDL specifications
Computer Networks: The International Journal of Computer and Telecommunications Networking
A formal software requirements specification method for digital nuclear plant protection systems
Journal of Systems and Software - Special issue: Automated component-based software engineering
Verifying mutual exclusion and liveness properties with split preconditions
Journal of Computer Science and Technology
DynAlloy: upgrading alloy with actions
Proceedings of the 27th international conference on Software engineering
Flush: a system development tool based on scade/lustre
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Reasoning about static and dynamic properties in alloy: A purely relational approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
A historical perspective on runtime assertion checking in software development
ACM SIGSOFT Software Engineering Notes
Terms with unbounded demonic and angelic nondeterminacy
Science of Computer Programming
Preliminary design of ADL/C++: a specification language for C++
COOTS'96 Proceedings of the 2nd conference on USENIX Conference on Object-Oriented Technologies (COOTS) - Volume 2
Efficient Analysis of DynAlloy Specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Linking Event-B and Concurrent Object-Oriented Programs
Electronic Notes in Theoretical Computer Science (ENTCS)
Dually nondeterministic functions
ACM Transactions on Programming Languages and Systems (TOPLAS)
Checking Well-Formedness of Pure-Method Specifications
FM '08 Proceedings of the 15th international symposium on Formal Methods
Efficient Well-Definedness Checking
IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Term transformers: A new approach to state
ACM Transactions on Programming Languages and Systems (TOPLAS)
A technique for retrospective computer validation of drug manufacturing software
International Journal of Computer Applications in Technology
Quality-driven architecture development using architectural tactics
Journal of Systems and Software
Memoryless Strategies for Stochastic Games via Domain Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Time, Abstraction, Causality and Modularity in Interactive Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Programming with angelic nondeterminism
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal framework and necessary properties of the fusion of input modes in user interfaces
Interacting with Computers
Testing functional requirements using B model specifications
ACM SIGSOFT Software Engineering Notes
A formal approach for the development of reactive systems
Information and Software Technology
The future of library specification
Proceedings of the FSE/SDP workshop on Future of software engineering research
The miracle of reactive programming
UTP'08 Proceedings of the 2nd international conference on Unifying theories of programming
A formal specification strategy for electronic commerce
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
Fact calculus: using ORM and lisa-d to reason about domains
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Combining formal methods for the development of reactive systems
International Journal of Computer Applications in Technology
A formal description of SECIMOS operating system
MMM-ACNS'05 Proceedings of the Third international conference on Mathematical Methods, Models, and Architectures for Computer Network Security
Compositionality: ontology and mereology of domains
Concurrency, Compositionality, and Correctness
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
A core theory of interfaces and architecture and its impact on object orientation
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
Feature interactions: a mixed semantic model approach
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Object-oriented operations have two parts
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Artificial Intelligence in Medicine
Preventing arithmetic overflows in alloy
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
Combining Formal Methods for the Development of Reactive Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
ConceVE: Conceptual modeling and formal validation for everyone
ACM Transactions on Modeling and Computer Simulation (TOMACS)
| Hi-index | 0.00 |