284 search results - page 17 / 57 » Formal Foundation for Pattern-Based Modelling |
118
click to vote
JSS
2006
15 years 2 months ago
2006
Estimating software size is a difficult task that requires a methodological approach. Many different methods that exist today use distinct abstractions to depict a software system...
115
click to vote
IAT
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper a cognitive model for visual attention is introduced. The cognitive model is part of the design of a software agent that supports a naval warfare officer in its task...
125
click to vote
ECEASST
2006
15 years 2 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 ...
103
click to vote
FOIS
2010
15 years 3 months ago
2010
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...
122
click to vote
ESCIENCE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...