Sciweavers

1781 search results - page 24 / 357
» An Emerging Need for a New Software Engineering Method
Sort
View
STEP
2003
IEEE
15 years 5 months ago
Empirical Methodologies in Software Engineering
The collection and use of evidence in Software Engineering practice and research are essential elements in the development of the discipline. This paper discusses the need for evi...
Ray Dawson, Phil Bones, Briony J. Oates, Pearl Bre...
FMAM
2010
223views Formal Methods» more  FMAM 2010»
14 years 10 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
COMPSAC
2009
IEEE
15 years 7 months ago
Towards Validating Security Protocol Deployment in the Wild
As computing technology becomes increasingly pervasive and interconnected, mobility leads to shorter-lasting relationships between end-points with many different security requirem...
Luca Compagna, Ulrich Flegel, Volkmar Lotz
TASE
2008
IEEE
15 years 10 days ago
Group Elevator Scheduling With Advance Information for Normal and Emergency Modes
Group elevator scheduling has long been recognized as an important problem for building transportation efficiency, since unsatisfactory elevator service is one of the major complai...
Peter B. Luh, Bo Xiong, Shi-Chung Chang
87
Voted
WETICE
1999
IEEE
15 years 4 months ago
A Concept for Supporting the Formation of Virtual Corporations through Negotiation
This paper describes a system that supports software development processes in virtual software corporations. A virtual software corporation consists of a set of enterprises that c...
Boris Kötting, Frank Maurer