1838 search results - page 78 / 368 » Process modelling: the deontic way |
UML
2005
Springer
15 years 4 months ago
2005
Springer
This paper presents ATL (ATLAS Transformation Language): a hybrid model transformation language that allows both declarative and imperative constructs to be used in transformation ...
UML
2001
Springer
15 years 3 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
WOSP
2000
ACM
15 years 3 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
ICASSP
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper proposes a way of modelling the time-varying spectral energy distribution of musical instrument sounds. The model consists of an excitation signal, a body response fil...
COMPSAC
2002
IEEE
15 years 4 months ago
2002
IEEE
Software standards are highly recommended because they promise faster and more efficient ways for software development with proven techniques and standard notations. Designers who...