Sciweavers

SEW
2007
IEEE
14 years 6 months ago
LTL Guided Planning: Revisiting Automatic Tool Composition in ETI
We revisit the automatic tool composition feature of the Electronic Tool Integration platform under the perspective of planning. It turns out that in todays terminology, ETIs temp...
Tiziana Margaria, Bernhard Steffen
SEW
2007
IEEE
14 years 6 months ago
Mapping CMMI Project Management Process Areas to SCRUM Practices
- Over the past years, the Capability Maturity Model (CMM) and Capability Maturity Model Integration (CMMI) have been broadly used for assessing organizational maturity and process...
Ana Sofia C. Marcal, Felipe Santana Furtado Soares...
SEW
2007
IEEE
14 years 6 months ago
Abstracting Pointers for a Verifying Compiler
Gregory Kulczycki, Heather Keown, Murali Sitaraman...
SEW
2007
IEEE
14 years 6 months ago
Testing Patterns
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
Neelam Soundarajan, Jason O. Hallstrom, Adem Delib...
SEW
2007
IEEE
14 years 6 months ago
A Generative Approach to Building a Framework for Hard Real-Time Applications
The communication and tasking infrastructure of a realtime application makes up a significant portion of any embedded control system. Traditionally, the tasking and communication...
Irfan Hamid, Elie Najm, Jérôme Hugues