1926 search results - page 219 / 386 » Modeling and Model Checking Software Product Lines |
127
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
A process defines the way activities are organized, managed, measured, supported and improved to reach a goal. It has been shown, 15 years ago [1] that processes are software too; ...
120
click to vote
COMSIS
2004
15 years 4 months ago
2004
"Software engineering" was introduced as a model for the field of software development in 1968. This paper reconsiders that model in the light of four decades of experie...
133
click to vote
IIE
2006
15 years 4 months ago
2006
The paper describes some possible ways how to improve Olympiads in Informatics. Tasks in Olympiads are small models of programming tasks in software industry and in the limited amo...
132
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
The software underpinning today’s IT systems needs to adapt dynamically and predictably to rapid changes in system workload, environment and objectives. We describe a software f...
125
click to vote
ARC
2010
Springer
15 years 4 months ago
2010
Springer
: When a logistics system is "self-organizing" it can function without significant intervention by managers, engineers, or software control. The social insects, such as a...