1121 search results - page 58 / 225 » Model and Formalism Driven Development of Collaborative Appl... |
150
click to vote
SAC
2011
ACM
14 years 4 months ago
2011
ACM
We propose a novel approach and tool for collaborative software engineering and development. In model-based software engineering, the underlying data structure is a complex, direc...
ZUM
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
167
click to vote
IRI
2009
IEEE
15 years 8 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
115
click to vote
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. With graph pattern matching the field of graph transformation (GT) includes an NP-complete subtask. But for real-life applications it is essential that graph pattern mat...
122
click to vote
ECMDAFA
2006
Springer
15 years 5 months ago
2006
Springer
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...