3564 search results - page 48 / 713 » Evaluating a Formal Modelling Language |
UML
2005
Springer
15 years 3 months ago
2005
Springer
The recent trend in software engineering to model-centered methodologies is an excellent opportunity for OCL to become a widely used specification language. If the focus of the de...
WOODPECKER
2001
14 years 11 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
LREC
2008
14 years 11 months ago
2008
Multilingual Automatic Speech Recognition (ASR) systems are of great interest in multilingual environments. We studied the case of the Comunitat Valenciana where the two official ...
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
129
click to vote
SIGMETRICS
2010
ACM
14 years 8 months ago
2010
ACM
As modern multi-tier systems are becoming increasingly large and complex, it becomes more difficult for system analysts to understand the overall behavior of the system, and diag...