2274 search results - page 322 / 455 » Qualitative Modeling for Requirements Engineering |
147
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
177
click to vote
SACMAT
2006
ACM
16 years 11 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
156
click to vote
WSC
2001
15 years 7 months ago
2001
The semiconductor industry is rapidly expanding worldwide. With the continuing advancement of technology, companies are continually striving to develop and maintain cutting edge p...
172
click to vote
GPCE
2007
Springer
16 years 17 days ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
174
click to vote
PROMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Agent-oriented system development aims to simplify the conn of complex systems by introducing a natural abstraction layer on top of the object-oriented paradigm composed ...