Sciweavers

2878 search results - page 125 / 576
» Analyzing the Uses of a Software Modeling Tool
Sort
View
STTT
2010
115views more  STTT 2010»
13 years 6 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai
SAC
2008
ACM
13 years 7 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
ESWS
2008
Springer
13 years 10 months ago
The Web Service Modeling Toolkit
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
Mick Kerrigan, Adrian Mocan
WOSP
2000
ACM
14 years 18 days ago
Evaluating the performance engineering process
This contribution presents a model for process improvement in the area of performance engineering, which is called performance engineering maturity model. The use of this model al...
Andreas Schmietendorf, André Scholz, Claus ...
SEMCO
2009
IEEE
14 years 3 months ago
A Quality Perspective of Software Evolvability Using Semantic Analysis
Software development and maintenance are highly distributed processes that involve a multitude of supporting tools and resources. Knowledge relevant to these resources is typicall...
Philipp Schügerl, Juergen Rilling, René...