4255 search results - page 102 / 851 » Database: Models, Languages, Design |
132
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
127
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
: The modeling of strategies for deriving valid project plans is a core task in development process’s design. Strategies are used for planning and for the validation of concrete ...
130
click to vote
EWSPT
1995
Springer
15 years 6 months ago
1995
Springer
The paper describes the different phases and subdomains of process modelling and their needs for conceptual and linguistic support, and in what forms. We group the relevant factor...
117
click to vote
SAC
2006
ACM
15 years 9 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, ...
170
click to vote
ICDT
2011
ACM
14 years 6 months ago
2011
ACM
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...