Understanding computers and cognition
Understanding computers and cognition
A rational design process: How and why to fake it
IEEE Transactions on Software Engineering
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
Software development graphs: a unifying concept for software development?
Proc. of the sixth conference on Foundations of software technology and theoretical computer science
System identification: theory for the user
System identification: theory for the user
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
The stepwise development of software development graphs: meta-programming VDM developments
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
VDM-Europe Symposium 1987 on VDM '87: VDM---a formal method at work
IFIP comparative review of information systems design methodologies: problem definition
Trends in information systems
Project graphs and meta-programs. Towards a theory of software development
Proc. of the CRAI Workshop on Software Factories and Ada on System development and Ada
On the use of formal methods in software development
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
Applications of temporal logic to the specification of real time systems (extended abstract)
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Modern Control Systems
The Z notation: a reference manual
The Z notation: a reference manual
The RAISE language, methods and tools
Formal Aspects of Computing
Reasoning About Time in Higher-Level Language Software
IEEE Transactions on Software Engineering
Kit: A Study in Operating System Verification
IEEE Transactions on Software Engineering
Software engineering mathematics
Software engineering mathematics
Journal of Automated Reasoning
An approach to systems verification
Journal of Automated Reasoning
Microprocessor design verification
Journal of Automated Reasoning
A mechanically verified language implementation
Journal of Automated Reasoning
A mechanically verified code generator
Journal of Automated Reasoning
Journal of Automated Reasoning
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Specifying real-time properties with metric temporal logic
Real-Time Systems
Position statement: ICSE-12 Workshop on Industrial Experience Using Formal Methods
ICSE '90 Proceedings of the 12th international conference on Software engineering
Specification case studies
Software Requirements Analysis for Real-Time Process-Control Systems
IEEE Transactions on Software Engineering
Formal specification of the ProCoS/safemos instruction set
Microprocessors & Microsystems - Formal aspects of microprocessor design
Specifying and verifying requirements of real-time systems
SIGSOFT '91 Proceedings of the conference on Software for citical systems
A systematic kernel development
SIGSOFT '91 Proceedings of the conference on Software for citical systems
An introduction to formal specification and Z
An introduction to formal specification and Z
Formal, model-oriented software development methods: from VDM to ProCoS & from RAISE to LaCoS
Future Generation Computer Systems - Special double issue: InfoJapan '90
The RAISE specification language
The RAISE specification language
From CSP Models to Markov Models
IEEE Transactions on Software Engineering
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Controlling with Computers: Control Theory and Practical Digital Systems
Controlling with Computers: Control Theory and Practical Digital Systems
Adaptive Control
Digital Control of Dynamic Systems
Digital Control of Dynamic Systems
Computer-Aided Specification Techniques
Computer-Aided Specification Techniques
Guest Editors' Introduction: Requirements Engineering
IEEE Transactions on Software Engineering
An Approach to Verifiable Compiling Specification and Prototyping
PLILP '90 Proceedings of the 2nd International Workshop on Programming Language Implementation and Logic Programming
ISL: An Interval Logic for the Specification of Real-time Programs
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Mechanically Checked Proofs of Kernel Specification
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Semantics and Completeness of Duration Calculus
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A Probabilistic Duration Calculus
A Probabilistic Duration Calculus
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
A theory of duration calculus with application
Domain modeling and the duration calculus
Domains: their simulation, monitoring and control-a divertimento of ideas and suggestions
Rainbow of computer science
Bounded validity checking of interval duration logic
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Reasoning about i/o in functional programs
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
A method and tool for tracing requirements into specifications
Science of Computer Programming
Hi-index | 0.00 |