Sciweavers

16968 search results - page 332 / 3394
» Software Engineering in the Small
Sort
View
SIGSOFT
2010
ACM
15 years 4 months ago
Evidence-based software production
James Kirby Jr., David M. Weiss, Robyn R. Lutz
SIGSOFT
2010
ACM
15 years 1 months ago
The case for software evolution
Claire Le Goues, Stephanie Forrest, Westley Weimer
ANSOFT
2002
126views more  ANSOFT 2002»
15 years 6 months ago
The Real-Time Process Algebra (RTPA)
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
Yingxu Wang
FOSSACS
2008
Springer
15 years 8 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
ICSE
2009
IEEE-ACM
16 years 7 months ago
Predicting build failures using social network analysis on developer communication
Adrian Schröter, Daniela Damian, Thanh H. D. ...