3819 search results - page 468 / 764 » An Outsourcing Model of Software Development |
189
click to vote
ICWE
2007
Springer
16 years 1 months ago
2007
Springer
The Unified Modeling Language (UML) is considered as the lingua franca in software engineering. Despite various web modeling languages having emerged in the past decade, in the fie...
171
click to vote
CODES
2002
IEEE
15 years 12 months 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...
208
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
This paper reports on a panel discussion held during the Educators’ Symposium at MODELS’2009. It shortly explains the context provided for the discussion and outlines the state...
287
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...
219
click to vote
SIGCSE
2002
ACM
15 years 6 months ago
2002
ACM
Empirical evidence shows the ability for computer technology to deliver on its promises of enhancing our quality of life relies on how well the application fits our understanding ...