Sciweavers

2261 search results - page 51 / 453
» Modeling the Experimental Software Engineering Process
Sort
View
167
Voted
UML
2005
Springer
15 years 10 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
SIGSOFT
2010
ACM
15 years 2 months ago
Golden implementation driven software debugging
The presence of a functionally correct golden implementation has a significant advantage in the software development life cycle. Such a golden implementation is exploited for soft...
Ansuman Banerjee, Abhik Roychoudhury, Johannes A. ...
EICS
2009
ACM
15 years 9 months ago
Adapting ubicomp software and its evaluation
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
Malcolm Hall, Marek Bell, Alistair Morrison, Stuar...
ISPW
2005
IEEE
15 years 10 months ago
Project Management System Based on Work-Breakdown-Structure Process Model
: We have developed a “WBS(Work Breakdown Structure) process model” for a business application software development project. We have also developed a project management system ...
Akira Harada, Satoshi Awane, Yuji Inoya, Osamu Ohn...
ICSE
2001
IEEE-ACM
15 years 9 months ago
Workshop on Software Engineering and Mobility
Mobility is redefining the hardware and software fabric of distributed systems. Wireless communication allows network hosts to participate in a distributed computation while on t...
Gruia-Catalin Roman, Gian Pietro Picco