9455 search results - page 418 / 1891 » The Modelling Language Zinc |
174
click to vote
WSC
2000
15 years 9 months ago
2000
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
220
click to vote
FM
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
223
click to vote
FMCAD
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Since the advent of model checking it is becoming more common for languages to be given a semantics in terms of transition systems. Such semantics allow to model check pr...
177
click to vote
WICSA
2008
15 years 9 months ago
2008
Modern systems modelling languages frequently support the use of multiple views in order to provide flexible, extensible, and rich mechanisms for capturing system characteristics....
193
click to vote
ACL
2010
15 years 5 months ago
2010
Statistical translation models that try to capture the recursive structure of language have been widely adopted over the last few years. These models make use of varying amounts o...