678 search results - page 70 / 136 » Extended Traits for Model Driven Software Development |
111
click to vote
PROFES
2009
Springer
15 years 7 months ago
2009
Springer
Value-based software engineering (VBSE) is an emerging stream of research that addresses the value considerations of software and extends the traditional scope of software engineer...
131
Voted
SPIN
2007
Springer
15 years 6 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
100
click to vote
OOPSLA
1998
Springer
15 years 4 months ago
1998
Springer
Dynamic information collected as a software system executes can help software engineers perform some tasks on a system more effectively. To interpret the sizable amount of data ge...
95
Voted
CL
1999
Springer
15 years 7 days ago
1999
Springer
Abstract The Ada language has been designed to support development of concurrent and distributed software. While the Ada83 standard defined the basic mechanisms of rendezvous-based...
TASE
2008
IEEE
15 years 14 days ago
2008
IEEE
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...