Sciweavers

3330 search results - page 291 / 666
» software 2010
Sort
View
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
15 years 8 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
ETS
2010
IEEE
130views Hardware» more  ETS 2010»
15 years 4 months ago
A distributed architecture to check global properties for post-silicon debug
Post-silicon validation and debug, or ensuring that software executes correctly on the silicon of a multi-processor system-on-chip (MPSOC) is complicated, as it involves checking g...
Erik Larsson, Bart Vermeulen, Kees Goossens
125
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
Component-based Mobile Web Application of Cross-platform
This article describes the status and analyses the challenges of mobile application development, proposed a frame of component-based hierarchical development. Software is divided ...
Biao Pan, Kun Xiao, Lei Luo
ISSE
2010
15 years 2 months ago
An integrated multi-view model evolution framework
A UML model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, tra...
Volker Stolz
120
Voted
ISSE
2010
15 years 2 months ago
An approach to applying SOFL for agile process and its application in developing a test support tool
Structured Object-Oriented Formal Language (SOFL) is a representative formal engineering method for software development. It offers a three-step specification approachtoconstructi...
Shaoying Liu