335 search results - page 17 / 67 » Arguing safety with Problem Oriented Software Engineering |
ICFEM
2003
Springer
15 years 2 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
One promising approach to more effective software development is the concept of product platform originated from mechanical engineering, aiming at architectural product families i...
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
Even though traceability is legally required in most safety critical software applications and is a recognized component of many software process improvement initiatives, organiza...
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
This paper is concerned with the Multi-Objective Next Release Problem (MONRP), a problem in search-based requirements engineering. Previous work has considered only single objecti...