3045 search results - page 159 / 609 » Formal Approaches to Software Architecture |
107
click to vote
DAGSTUHL
2009
15 years 9 days ago
2009
To operate reliably in environments where interaction with an operator is infrequent or undesirable, an autonomous system should be capable of both determining how to achieve its ...
SIGSOFT
2008
ACM
15 years 12 months ago
2008
ACM
Separation of concerns is one of the overarching goals of exception handling in order to keep separate normal and exceptional behaviour of a software system. In the context of a s...
IFM
2009
Springer
15 years 5 months ago
2009
Springer
We present the new technique of dynamic path reduction (DPR), which allows one to prune redundant paths from the state space of a program under verification. DPR is a very general...
101
click to vote
CEEMAS
2005
Springer
15 years 4 months ago
2005
Springer
Architectural design plays a key role in software engineering. The software architecture is the backbone of the designed solution, it has the functional requirements of the system ...
RISE
2005
Springer
15 years 4 months ago
2005
Springer
Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the...