Sciweavers

2261 search results - page 51 / 453
» Modeling the Experimental Software Engineering Process
Sort
View
150
Voted
UML
2005
Springer
15 years 8 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...
132
Voted
SIGSOFT
2010
ACM
15 years 14 days 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 7 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...
89
Voted
ISPW
2005
IEEE
15 years 8 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 7 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