2153 search results - page 228 / 431 » From Requirements Models to Formal Specifications in B |
161
click to vote
MODELLIERUNG
2001
15 years 7 months ago
2001
Abstract: Models are important artefacts that support human understanding and communication. Often software development involves specialists from a variety of fields, e.g. mathemat...
150
click to vote
ICALT
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, we present our research results about a UML-based modeling language dedicated to Problem-Based Learning design. The CPM (Cooperative Problem-Based learning Metamode...
170
click to vote
AAAI
2008
15 years 8 months ago
2008
Partially Observable Markov Decision Processes have been studied widely as a model for decision making under uncertainty, and a number of methods have been developed to find the s...
177
click to vote
ESWS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Enterprise modelling focuses on the construction of a structured description, the so-called enterprise model, which represents aspects relevant to the activity of an ente...
167
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...