2153 search results - page 67 / 431 » From Requirements Models to Formal Specifications in B |
176
click to vote
ICTAC
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Separation kernels are key components in embedded applications. Their small size and widespread use in high-integrity environments make them good targets for formal model...
150
click to vote
EMISA
2005
Springer
15 years 11 months ago
2005
Springer
Stable component models are an essential prerequisite for developing customer-individual business applications. Thereby the information for the identification and specification of ...
188
click to vote
JSA
2008
15 years 5 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
157
click to vote
ENTCS
2008
15 years 4 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
168
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...