5407 search results - page 763 / 1082 » The Software Engineering Global Model |
187
click to vote
QOSA
2007
Springer
16 years 1 months ago
2007
Springer
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
223
click to vote
ACMICEC
2005
ACM
16 years 26 days ago
2005
ACM
Current composite web service development and management solutions, e.g. BPEL, do not cater for assessing and maintaining comparability of business partners during business collab...
189
click to vote
CODES
2002
IEEE
16 years 7 days ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
297
click to vote
ECMDAFA
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Model-Driven Engineering (MDE) aims at improving the development of software systems. Within this context textual concrete syntaxes for models are beneficial for many re...
202
click to vote
IDEAL
2005
Springer
16 years 24 days ago
2005
Springer
The design, development, and use of complex systems models raises a unique class of challenges and potential pitfalls, many of which are commonly recurring problems. Over time, res...