Sciweavers

12 search results - page 2 / 3
» ecbs 2010
Sort
View
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
14 years 2 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Uniï¬ed Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciï¬...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
ECBS
2010
IEEE
146views Hardware» more  ECBS 2010»
14 years 2 months ago
Design-Space Exploration through Constraint-Based Model-Transformation
Abstract—Many design steps during system development like functional partitioning, refactoring of the architecture, or the mapping to the platform - can be understood as an explo...
Bernhard Schätz, Florian Hölzl, Torbj&ou...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 1 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...
ECBS
2010
IEEE
200views Hardware» more  ECBS 2010»
13 years 7 months ago
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces
Software development and testing of Enterprise Resource Planning (ERP) systems demands dedicated methods to tackle its special features. As manual testing is not able to systematic...
Sebastian Wieczorek, Alin Stefanescu
ECBS
2010
IEEE
147views Hardware» more  ECBS 2010»
14 years 2 months ago
Supporting Customizable Architectural Design Decision Management
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
Lianping Chen, Muhammad Ali Babar