488 search results - page 12 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
RE
2004
Springer
14 years 23 days ago
2004
Springer
In this work, we propose a framework for quantifying non-functional requirements (NFRs). This framework uses quality characteristics of the execution domain, application domain an...
OOPSLA
2007
Springer
14 years 1 months ago
2007
Springer
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
TPHOL
1998
IEEE
13 years 11 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
SWS
2005
ACM
14 years 29 days ago
2005
ACM
Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiatives h...
MASCOTS
2004
13 years 8 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...