242 search results - page 11 / 49 » SAAM: A Method for Analyzing the Properties of Software Arch... |
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Safety-critical distributed real-time systems, such as networked medical devices, must operate according to their specification, because incorrect behaviour can have fatal conseque...
WICSA
2001
13 years 8 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
SAC
2006
ACM
14 years 1 months ago
2006
ACM
ArchiTRIO is a formal language, which complements UML 2.0 concepts with a formal, logic-based notation that allows users to state system-wide properties, both static and dynamic, ...
TRUST
2009
Springer
14 years 2 months ago
2009
Springer
During many crises, access to sensitive emergency-support information is required to save lives and property. For example, for effective evacuations first responders need the name...
AC
2007
Springer
13 years 7 months ago
2007
Springer
The focus of this chapter is to review what is known about free and open source software development (FOSSD) work practices, development processes, project and community dynamics,...