Sciweavers

2171 search results - page 36 / 435
» Combining Funnels: A Dynamic Approach to Software Combining
Sort
View
ICSE
2003
IEEE-ACM
15 years 9 months ago
Multi-view Software Component Modeling for Dependability
Modeling software components from multiple perspectives provides complementary views of a software system and enables sophisticated analyses of its functionality. A software compon...
Roshanak Roshandel, Nenad Medvidovic
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 8 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
FASE
2010
Springer
15 years 7 months ago
Incremental Service Composition Based on Partial Matching of Visual Contracts
Services provide access to software components that can be discovered dynamically via the Internet. The increasing number of services a requesters may be able to use demand support...
Muhammad Naeem, Reiko Heckel, Fernando Orejas, Fra...

Publication
158views
14 years 3 months ago
How Technological Support Can Enable Advantages of Agile Software Development in a GSE Setting
Because of the distance between the dispersed development locations, Global Software Engineering (GSE) is confronted with challenges regarding communication, coordination and co...
Kevin Dullemond, Ben van Gameren, Rini van Solinge...
ARCS
2012
Springer
14 years 5 days ago
Fast Scenario-Based Design Space Exploration using Feature Selection
: This paper presents a novel approach to efficiently perform early system level design space exploration (DSE) of MultiProcessor System-on-Chip (MPSoC) based embedded systems. By...
Peter van Stralen, Andy D. Pimentel