1926 search results - page 73 / 386 » Modeling and Model Checking Software Product Lines |
194
click to vote
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Architectural considerations play a key role in the success of any software-based development project. Architecture evaluation is an early risk reduction method for identifying ri...
159
click to vote
DSRT
2005
IEEE
15 years 11 months ago
2005
IEEE
Engine production is a complex process that requires the manufacturing and assembly of a wide variety of components to create a varied product mix. Simulation plays a key role in ...
248
click to vote
OSS
2007
Springer
16 years 5 days ago
2007
Springer
This article discusses Nokia’s experiences of using open source in commercial product development. It presents the development model used in the creation of mobile consumer devic...
154
click to vote
QSIC
2007
IEEE
16 years 9 days ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
146
click to vote
KBSE
2009
IEEE
16 years 23 days ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...