156 search results - page 17 / 32 » The GOQL Language and its Formal Specifications |
100
click to vote
SIGSOFT
2002
ACM
16 years 16 days ago
2002
ACM
We propose a unifying framework for model-based specification notations. Our framework captures the execution semantics that are common among model-based notations, and leaves the...
ECTEL
2007
Springer
15 years 6 months ago
2007
Springer
: Current learning modelling languages do not allow formalization of scripts where generic tools are required. This limitation is especially relevant on remote courses when using c...
SEKE
2004
Springer
15 years 5 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...
APSEC
2004
IEEE
15 years 3 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...
108
click to vote
ECEASST
2006
14 years 11 months ago
2006
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...