504 search results - page 71 / 101 » Modular System Development with Pullbacks |
121
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
133
click to vote
JISBD
2003
15 years 3 months ago
2003
The importance of temporal representation and reasoning is well known to the database community. Examples of such significance are the languages TSQL2 and its follow up, SQL/Tempo...
134
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Object oriented software development is designed to be modular, with code reuse being very common. When bugs are introduced, they can manifest themselves in one or more sections o...
120
click to vote
ITBAM
2010
15 years 11 days ago
2010
This paper analyzes the requirements and presents a novel approach to the development of a system for epidemiological data collection and integration based on the principles of int...
124
click to vote
MOMPES
2008
IEEE
15 years 8 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...