Sciweavers

287 search results - page 1 / 58
» Guidelines From Organizational Requirements to Formal Specif...
Sort
View
55
Voted
WER
1998
Springer
15 years 1 months ago
Guidelines From Organizational Requirements to Formal Specification
Fernanda M. R. Alencar, Jaelson Castro
ASM
2010
ASM
15 years 29 days ago
Starting B Specifications from Use Cases
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
Thiago C. de Sousa, Aryldo G. Russo
CAISE
2005
Springer
15 years 3 months ago
Organizational Model to Derive Multi-Agent Architecture from Requirements
Abstract. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. To ...
Lúcia R. D. Bastos, Jaelson Brelaz de Castr...
91
Voted
ENTCS
2008
135views more  ENTCS 2008»
14 years 9 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
72
Voted
CAISE
2006
Springer
15 years 1 months ago
From Requirements Models to Formal Specifications in B
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
Christophe Ponsard, Emmanuel Dieul