4919 search results - page 560 / 984 » A Process-Ontological Model for Software Engineering |
150
click to vote
SIGSOFT
2009
ACM
15 years 12 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
150
click to vote
MATES
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The formalization and use of experiences in good model design would make an important contribution to increasing the efficiency of modeling as well as to supporting the k...
130
click to vote
ICMT
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In their recent book, Mens and Demeyer state that ModelDriven Engineering introduces additional challenges for controlling and managing software evolution. Today, tools e...
202
click to vote
APN
2010
Springer
15 years 9 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
127
click to vote
AOSE
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...