2153 search results - page 67 / 431 » From Requirements Models to Formal Specifications in B |
ICTAC
2010
Springer
13 years 7 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...
EMISA
2005
Springer
14 years 2 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 ...
JSA
2008
13 years 8 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...
ENTCS
2008
13 years 7 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...
ICSE
2008
IEEE-ACM
14 years 10 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...