Sciweavers

1035 search results - page 25 / 207
» Patterns Approach to Building Software Systems
Sort
View
ICECCS
2008
IEEE
3385views Hardware» more  ICECCS 2008»
14 years 2 months ago
Contract-Based Approach to Analyze Software Components
Component-based software development focuses on building large software systems by integrating existing software components to reduce cost, risk and time. However, behavioural and...
Abdelhafid Zitouni, Lionel Seinturier, Mahmoud Bou...
TSE
2008
101views more  TSE 2008»
13 years 7 months ago
DeMIMA: A Multilayered Approach for Design Pattern Identification
Design patterns are important in object-oriented programming because they offer design motifs, elegant solutions to recurrent design problems, which improve the quality of software...
Yann-Gaël Guéhéneuc, Giuliano A...
FOSSACS
2010
Springer
14 years 2 months ago
Incremental Pattern-Based Coinduction for Process Algebra and Its Isabelle Formalization
We present a coinductive proof system for bisimilarity in transition systems specifiable in the de Simone SOS format. Our coinduction is incremental, in that it allows building in...
Andrei Popescu, Elsa L. Gunter
AIPR
2006
IEEE
13 years 9 months ago
Semi-automated 3-D Building Extraction from Stereo Imagery
The production of geospatial information from overhead imagery is generally a labor-intensive process. Analysts must accurately delineate and extract important features, such as b...
Sung Chun Lee, Keith E. Price, Ramakant Nevatia, T...
ECSA
2010
Springer
13 years 6 months ago
Mediating Connector Patterns for Components Interoperability
A key objective for ubiquitous environments is to enable system interoperability between system’s components that are highly heterogeneous. In particular, the challenge is to emb...
Romina Spalazzese, Paola Inverardi