Sciweavers

7961 search results - page 522 / 1593
» Input-Output Model Programs
Sort
View
158
Voted
ER
2009
Springer
119views Database» more  ER 2009»
16 years 1 months ago
Assessing Modal Aspects of OntoUML Conceptual Models in Alloy
Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information ...
Alessander Botti Benevides, Giancarlo Guizzardi, B...
WCRE
2007
IEEE
16 years 1 months ago
Recovering Data Models via Guarded Dependences
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
Raghavan Komondoor, G. Ramalingam
ECAL
2005
Springer
16 years 16 days ago
A Developmental Model for Generative Media
Abstract. Developmental models simulate the spatio-temporal development of a complex system. The system described in this paper combines the advantages of a number of previously di...
Jon McCormack
WOSP
2000
ACM
15 years 11 months ago
Visual representation of stochastic process algebra models
Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developer...
Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob...
VL
1997
IEEE
137views Visual Languages» more  VL 1997»
15 years 11 months ago
A Framework of Syntactic Models for the Implementation of Visual Languages
In this paper we present a framework of syntactic models for the definition and implementation of visual languages. We analyze a wide range of existing visual languages and, for e...
Gennaro Costagliola, Andrea De Lucia, Sergio Orefi...