Sciweavers

6348 search results - page 258 / 1270
» A Lesson for Software Engineering from Knowledge Engineering
Sort
View
ICSM
2007
IEEE
15 years 10 months ago
An Activity-Based Quality Model for Maintainability
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
Florian Deissenboeck, Stefan Wagner, Markus Pizka,...
EUROMICRO
2004
IEEE
15 years 8 months ago
Using Academic Courses for Empirical Validation of Software Development Processes
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
Marcus Ciolkowski, Dirk Muthig, Jörg Rech
KBSE
2009
IEEE
15 years 11 months ago
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
Cyrille Artho, Watcharin Leungwattanakit, Masami H...
AOSE
2007
Springer
15 years 10 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
ROBOCUP
2004
Springer
91views Robotics» more  ROBOCUP 2004»
15 years 9 months ago
From Games to Applications: Component Reuse in Rescue Robots
Abstract. Component-based software engineering is useful for embedded applications such as robotics. However, heavyweight component systems such as CORBA overstrain the ressources ...
Holger Kenn, Andreas Birk 0002