Communicating sequential processes
Communicating sequential processes
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
A requirements modeling language and its logic
Information Systems
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Statecharts: A visual formalism for complex systems
Science of Computer Programming
PARIS: a system for reusing partially interpreted schemas
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Communication and concurrency
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Moments and points in an interval-based temporal logic
Computational Intelligence
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Design and validation of computer protocols
Design and validation of computer protocols
Programming from specifications
Programming from specifications
The Requirements Apprentice: Automated Assistance for Requirements Acquisition
IEEE Transactions on Software Engineering
Specifying and verifying requirements of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Z notation: a reference manual
The Z notation: a reference manual
Knowledge Representation and Reasoning in the Design of Composite Systems
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
Representing and using nonfunctional requirements: a process-oriented approach
IEEE Transactions on Software Engineering - Special issue on knowledge representation and reasoning in software development
An introduction to formal specification and Z
An introduction to formal specification and Z
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
A formal language for the requirements engineering of computer systems
From natural language processing to logic for expert systems
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Larch: languages and tools for formal specification
Larch: languages and tools for formal specification
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Aslantest: a symbolic execution tool for testing Aslan formal specifications
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
The ASTOOT approach to testing object-oriented programs
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
IEEE Transactions on Software Engineering
Generating test cases for real-time systems from logic specifications
ACM Transactions on Computer Systems (TOCS)
On the characterization of law and computer systems: the normative systems perspective
Deontic logic in computer science
Functional documents for computer systems
Science of Computer Programming
Structuring Z specifications with views
ACM Transactions on Software Engineering and Methodology (TOSEM)
Completeness and Consistency in Hierarchical State-Based Requirements
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
A graphical environment for the design of concurrent real-time systems
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
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Strongest postcondition semantics as the formal basis for reverse engineering
Reverse engineering
Automatic generation of state invariants from requirements specifications
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
From object-oriented to goal-oriented requirements analysis
Communications of the ACM
Information modeling in the time of the revolution
Information Systems - Special issue: selected papers from the 9th International Conference on advanced information systems engineering (CA ISE '97)
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on Software engineering
Dynamically discovering likely program invariants to support program evolution
Proceedings of the 21st international conference on Software engineering
Patterns in property specifications for finite-state verification
Proceedings of the 21st international conference on Software engineering
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Specification-based prototyping for embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Model checking
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
On the inevitable intertwining of specification and implementation
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Formal Object-Oriented Development
Formal Object-Oriented Development
Symbolic Model Checking
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Specifying Message Passing and Time-Critical Systems with Temporal Logic
The Science of Programming
Applications of Formal Methods
Applications of Formal Methods
Software Prototyping, Formal Methods, and VDM
Software Prototyping, Formal Methods, and VDM
The Core Method for Real-Time Requirements
IEEE Software
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
On the Frame Problem in Procedure Specifications
IEEE Transactions on Software Engineering
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
ASTRAL: An Assertion Language for Specifying Realtime Systems
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
A Pluralistic Knowledge-Based Approach to Software Specification
ESEC '89 Proceedings of the 2nd European Software Engineering Conference
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Formal Methods Technology Transfer: Impediments and Innovation (Abstract)
CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
Static Analysis to Identify Invariants in RSML Specifications
FTRTFT '98 Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Specification and verification of concurrent systems in CESAR
Proceedings of the 5th Colloquium on International Symposium on Programming
SCR*: A Toolset for Specifying and Analyzing Software Requirements
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Powerful Techniques for the Automatic Generation of Invariants
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
STACS '92 Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science
Explanation-based Scenario Generation for Reactive System Models
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Analogical Reuse of Requirements Frameworks
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Operational specification as the basis for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Software Evolution and Software Evolution Processes
Annals of Software Engineering
Evolution in software and related areas
IWPSE '01 Proceedings of the 4th International Workshop on Principles of Software Evolution
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
Soft-Ware 2002 Proceedings of the First International Conference on Computing in an Imperfect World
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Requirements reformulation using formal specification: a case study
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Requirements interaction management
ACM Computing Surveys (CSUR)
Generalization for component reuse
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
The role of modelling in the software engineering curriculum
Journal of Systems and Software - Special issue: Software engineering education and training
Reasoning about inconsistencies in natural language requirements
ACM Transactions on Software Engineering and Methodology (TOSEM)
Echo: a practical approach to formal verification
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Domain Consistency in Requirements Specification
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Journal of Systems and Software
User guidance for creating precise and accessible property specifications
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Analyzing static and temporal properties of simulation models
Proceedings of the 38th conference on Winter simulation
Trust-By-Contract: Modelling, Analysing And Predicting Behaviour Of Software Architectures
Journal of Integrated Design & Process Science
Source Code Analysis: A Road Map
FOSE '07 2007 Future of Software Engineering
On the role of user-centred evaluation in the advancement of interactive information retrieval
Information Processing and Management: an International Journal
A review of accident modelling approaches for complex socio-technical systems
SCS '07 Proceedings of the twelfth Australian workshop on Safety critical systems and software and safety-related programmable systems - Volume 86
Modeling Concurrent Systems with Shared Resources
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems
Certifiable Specification and Verification of C Programs
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Dynamic graphical UML views from formal B specifications
Information and Software Technology
Journal of Systems and Software
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
A benchmark for evaluating software engineering techniques for improving medical processes
Proceedings of the 2010 ICSE Workshop on Software Engineering in Health Care
A survey of traceability in requirements engineering and model-driven development
Software and Systems Modeling (SoSyM)
A property based specification formalism classification
Journal of Systems and Software
Integrating formal methods with domain analysis
Journal of Computational Methods in Sciences and Engineering - Special Supplement Issue in Section A and B: Selected Papers from the ISCA International Conference on Software Engineering and Data Engineering, 2009
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
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
Modeling and enforcing invariants of dynamic software architectures
Software and Systems Modeling (SoSyM)
An institution theory of formal meta-modelling in graphically extended BNF
Frontiers of Computer Science in China
Tracing integration analysis in component-based formal specifications
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
The ProjectIT-RSL language overview
UML'04 Proceedings of the 2004 international conference on UML Modeling Languages and Applications
The ProjectIT-RSL language overview
UML Modeling Languages and Applications
Modelling and verification of JXTA peer-topeer network protocols
VECoS'11 Proceedings of the Fifth international conference on Verification and Evaluation of Computer and Communication Systems
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
Formal methods in avionic software certification: the DO-178C perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
Hi-index | 0.00 |