1579 search results - page 189 / 316 » A software development process supporting non-functional pro... |
167
click to vote
LPAR
2007
Springer
15 years 11 months ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
184
click to vote
KBSE
1995
IEEE
15 years 9 months ago
1995
IEEE
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer suppo...
165
click to vote
UML
1997
Springer
15 years 9 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
163
click to vote
GPCE
2009
Springer
15 years 10 months ago
2009
Springer
User interfaces for modern applications must support a rich set of interactive features. It is commonplace to find applications with dependencies between values manipulated by us...
207
click to vote
SCESM
2006
ACM
15 years 11 months ago
2006
ACM
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....