4726 search results - page 366 / 946 » Domain Modeling of Software Process Models |
180
click to vote
EUROMICRO
2005
IEEE
16 years 12 days ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
178
click to vote
MATES
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...
179
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
197
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Developing systems through the composition of reusable software services is not straightforward in most situations since different kinds of mismatch may occur among their...
159
click to vote
FM
2009
Springer
16 years 1 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...