1689 search results - page 170 / 338 » Empirical Methodologies in Software Engineering |
143
click to vote
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
Model checkers search the space of possible program behaviors to detect errors and to demonstrate their absence. Despite major advances in reduction and optimization techniques, s...
149
click to vote
ICSE
1998
IEEE-ACM
15 years 8 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
154
Voted
RE
2010
Springer
14 years 11 months ago
2010
Springer
Companies in the software business often distribute requirements engineering responsibilities over several roles. Product management has overall product responsibility and performs...
141
click to vote
ICSE
2004
IEEE-ACM
2004
IEEE-ACM
Automated Support for Development, Maintenance, and Testing in the Presence of Implicit Control Flow
16 years 4 months ago
Although object-oriented languages can improve programming practices, their characteristics may introduce new problems for software engineers. One important problem is the presenc...
154
click to vote
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Business Process Modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a n...