2373 search results - page 214 / 475 » The Design of the Zinc Modelling Language |
155
click to vote
MODELS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
168
click to vote
AIED
2005
Springer
16 years 3 days ago
2005
Springer
Making inferences is crucial for understanding the world. The school may develop such skills but there are few formal opportunities for that. This paper describes an experiment de...
171
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
166
click to vote
UML
2005
Springer
16 years 1 days ago
2005
Springer
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
171
click to vote
INFSOF
2008
15 years 6 months ago
2008
Architectural patterns are a fundamental aspect of the architecting process and subsequently the architectural documentation. Unfortunately, there is only poor support for modelin...