4919 search results - page 600 / 984 » A Process-Ontological Model for Software Engineering |
133
click to vote
OOPSLA
2009
Springer
16 years 1 months ago
2009
Springer
Model transformation languages, the cornerstone of Modelngineering, often lack mechanisms for abstraction, reuse and debugging. We propose a model transformation k providing diffe...
204
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
212
Voted
ISORC
2005
IEEE
16 years 9 days ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
161
click to vote
FOSSACS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We investigate a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion ...
139
click to vote
BCSHCI
2007
15 years 8 months ago
2007
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...