1676 search results - page 119 / 336 » Formal System Development with KIV |
130
click to vote
AAAI
2008
15 years 7 months ago
2008
At the turn of the last century, Constantin Stanislavski developed a new system of acting, replacing the mannered gestures and forced emotion then popular with a more natural styl...
106
click to vote
FUIN
2008
15 years 4 months ago
2008
Policies are used to describe rules that are employed to modify (often distributed) system behaviour at runtime. Typically policies are created by many different people and there a...
132
Voted
SEKE
2004
Springer
15 years 10 months ago
2004
Springer
As application semantics becomes more complex and dynamic in IT systems, it is necessary to engineer the application semantics in its own lifecycle of development parallel to syste...
162
Voted
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...
125
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Formalization is a necessary precondition for the specification of precise and unambiguous use case models, which serve as reference points for the design and implementation of so...