Sciweavers

1199 search results - page 17 / 240
» Software Verification and Software Engineering a Practitione...
Sort
View
94
Voted
AC
2002
Springer
15 years 1 months ago
Timed Verification of Asynchronous Circuits
Jesper B. Møller, Henrik Hulgaard, Henrik R...
117
Voted
MSR
2006
ACM
15 years 7 months ago
Mining large software compilations over time: another perspective of software evolution
With the success of libre (free, open source) software, a new type of software compilation has become increasingly common. Such compilations, often referred to as ‘distributions...
Gregorio Robles, Jesús M. González-B...
SEKE
2005
Springer
15 years 7 months ago
State of the Survey on Team-based Software Engineering Project Course
It is recognized importance of team-based software engineering education in these days, and lots of case studies have been reported. This paper describes a comparative study on te...
Atsuo Hazeyama
ICSE
2007
IEEE-ACM
15 years 8 months ago
First International Workshop on Emerging Trends in FLOSS Research and Development
The   “Emerging   Trends   in   FLOSS   Research   and  Development” workshop series will be based on the  growing  interest   of   researchers   and  prac...
Andrea Capiluppi, Joseph Feller, Brian Fitzgerald,...
SEW
2005
IEEE
15 years 7 months ago
Bridging the Gap between Systems Design
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
David Garlan, William K. Reinholtz, Bradley R. Sch...