Sciweavers

22698 search results - page 81 / 4540
» Modeling in Software Engineering
Sort
View
131
Voted
COMSWARE
2007
IEEE
15 years 9 months ago
Situation-Aware Software Engineering for Sensor Networks
—Sensor networks represent a new frontier in technology that holds the promise of unprecedented levels of autonomy in the execution of complex dynamic missions by harnessing the ...
Vir V. Phoha, Shashi Phoha
ICSE
2007
IEEE-ACM
16 years 2 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
DLOG
2004
15 years 3 months ago
Extended Query Facilities for Racer and an Application to Software-Engineering Problems
er reports on a pragmatic query language for Racer. The abstract syntax and semantics of this query language is defined. Next, the practical relevance of this query language is sh...
Volker Haarslev, Ralf Möller, Ragnhild Van De...
122
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
Process issues in course projects
Defined software engineering process help teaching and guiding software engineering courses projects. However, using them raises several issues related to process and course featu...
Wilson P. Paula Filho
ESEC
1999
Springer
15 years 6 months ago
A Probabilistic Model for Software Projects
A probabilistic model for software development projects is constructed. The model can be applied to compute an estimate for the development time of a project. The chances of succee...
Frank Padberg