1926 search results - page 245 / 386 » Modeling and Model Checking Software Product Lines |
154
click to vote
JSW
2008
15 years 4 months ago
2008
The Internet economy has altered the current rules of software engineering. Traditional development methodologies have proven too cumbersome to meet the rapidly changing requiremen...
143
Voted
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
120
click to vote
APSEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Software process improvement (SPI) has emerged as a critical area for organizations involved in software development. There is now considerable evidence that SPI can provide subst...
109
click to vote
ICSE
2000
IEEE-ACM
15 years 8 months ago
2000
IEEE-ACM
If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Simil...
174
click to vote
CBSQ
2003
Springer
15 years 9 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...