488 search results - page 12 / 98 » ST-Tool: A CASE Tool for Security Requirements Engineering |
171
click to vote
RE
2004
Springer
15 years 12 months 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...
148
click to vote
OOPSLA
2007
Springer
16 years 20 days 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 ...
195
click to vote
TPHOL
1998
IEEE
15 years 10 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...
182
click to vote
SWS
2005
ACM
16 years 3 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...
153
click to vote
MASCOTS
2004
15 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...