Sciweavers

280 search results - page 21 / 56
» Early Aspects Refactoring
Sort
View
CORR
2002
Springer
101views Education» more  CORR 2002»
14 years 9 months ago
Semantic Component Composition
Building complex software systems necessitates the use of component-based architectures. In theory, of the set of components needed for a design, only some small portion of them ar...
Joseph Kiniry
ICMT
2011
Springer
14 years 1 months ago
A Demonstration-based Approach to Support Live Transformations in a Model Editor
Complex model editing activities are frequently performed to realize various model evolution tasks (e.g., model scalability, weaving aspects into models, and model refactoring). In...
Yu Sun, Jeff Gray, Christoph Wienands, Michael Gol...
DESIRE
2010
14 years 4 months ago
Creativity methods in interaction design
The field of interaction design encompasses a variety of methods for fostering innovation and creativity. In this paper, we present a selection of such methods that scaffold ideat...
Michael Mose Biskjaer, Peter Dalsgård, Kim H...
SAFECOMP
1998
Springer
15 years 1 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
15 years 3 months ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...