Sciweavers

2527 search results - page 209 / 506
» Software development with imperfect information
Sort
View
IRI
2003
IEEE
15 years 12 months ago
A Formal Framework for Design Component Contracts
– Building large software systems out of existing software components can save time and cost. These software components range from architectural and design components to binary c...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
VAMOS
2010
Springer
15 years 8 months ago
Semistructured Merge in Revision Control Systems
Revision control systems are a major means to manage versions and variants of today's software systems. An ongoing problem in these systems is how to resolve conflicts when me...
Sven Apel, Jörg Liebig, Christian Lengauer, C...
CLEF
2005
Springer
16 years 3 days ago
A Fast Forward Approach to Cross-Lingual Question Answering for English and German
This paper describes the development of a question answering system for monolingual and cross-lingual tasks for the languages English and German. We developed the question answeri...
Robert Strötgen, Thomas Mandl, René Sc...
CASCON
1997
119views Education» more  CASCON 1997»
15 years 8 months ago
Acme: an architecture description interchange language
Numerous architectural description languages (ADLs) have been developed, each providing complementary capabilities for architectural development and analysis. Unfortunately, each ...
David Garlan, Robert T. Monroe, David Wile
CIBSE
2009
ACM
16 years 1 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...