884 search results - page 70 / 177 » A semantics of sequence diagrams |
FSEN
2009
Springer
15 years 1 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
CASCON
2007
14 years 11 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
SOSYM
2002
14 years 9 months ago
2002
Abstract. The paper motivates and describes a model oriented approach for consistent specification of interface suites in UML. An interface suite is a coherent collection of interf...
131
click to vote
ICSEA
2009
IEEE
14 years 7 months ago
2009
IEEE
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Historically, information retrieval (IR) has followed two principally different paths that we call syntactic IR and semantic IR. In syntactic IR, terms are represented as...