111 search results - page 15 / 23 » A Formal Development and Validation Methodology Applied to A... |
SAC
2003
ACM
14 years 11 days ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
FM
2005
Springer
14 years 19 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
ICSM
2006
IEEE
14 years 1 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
CMSB
2010
Springer
13 years 2 months ago
2010
Springer
Boolean modeling frameworks have long since proved their worth for capturing and analyzing essential characteristics of complex systems. Hybrid approaches aim at exploiting the ad...
TSE
2008
13 years 7 months ago
2008
This paper presents a framework for security requirements elicitation and analysis. The framework is based on constructing a context for the system, representing security requireme...