963 search results - page 52 / 193 » Formal Analysis of BPMN Models Using Event-B |
ASE
2008
15 years 1 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
162
click to vote
AGTIVE
2007
Springer
15 years 5 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
148
click to vote
ECMDAFA
2009
Springer
15 years 8 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
SIAMAM
2008
15 years 1 months ago
2008
In this paper we define a class of formal neuron models being computationally efficient and biologically plausible, i.e., able to reproduce a wide range of behaviors observed in in...
130
click to vote
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...