Formal Specifications
Formal Specifications of Trusted OLSR Protocol of Ad hoc Network in Z
12
Tools for producing formal specifications : a view of current architectures and future directions
25
Applying visualisation to model based formal specifications
234
On Merging Object-Oriented Formal Specifications
9
From English to formal specifications
247
applying formal specifications to real World software development IEEE SW NovDec 2001
9
The validation of formal specifications of requirements
15
Decomposing Formal Specifications Into Assume Guarantee Contracts for Hierarchical System Design
215
Formal Specifications and Verification of Message Ordering Properties in a Broadcasting System using Event B
45
Regulatory Requirements Traceability and Analysis Using Semi-Formal Specifications
16
Automatic Testing from Formal Specifications
19
Formal Specifications of Security Policy Models
22
JCSProB: Implementing Integrated Formal Specifications in Concurrent Java
22
Registration of an enterprise information system development by formal specifications
8
A Comparative Study of Formal and Informal Specifications through an Industrial Case Study
5
Contract Specifications
81
Contract Specifications
37
ENGINEERING SPECIFICATIONS
22
General Specifications
8
General Specifications
5