1141 search results - page 23 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
156
click to vote
CAISE
2009
Springer
16 years 16 days ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
163
click to vote
ASE
2008
15 years 6 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
157
click to vote
IWSSD
2000
IEEE
15 years 10 months ago
2000
IEEE
We seek to facilitate development of high quality software designs and architectures by using rigorous process definitions to guide application of the complex structure of relati...
156
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
152
click to vote
SAC
2006
ACM
15 years 12 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, ...