646 search results - page 72 / 130 » Process oriented framework to support PLM implementation |
VAMOS
2007
Springer
15 years 5 months ago
2007
Springer
The automated analysis of feature models is recognized as one of the key challenges for automated software development in the context of Software Product Lines (SPL). However, aft...
TAICPART
2006
IEEE
15 years 5 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
APCCM
2007
15 years 19 days ago
2007
Web services are loosely coupled software components that are published, discovered, and invoked across the Web. As the use of Web services grows, in order to correctly interact w...
108
click to vote
RE
2010
Springer
14 years 6 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
FORTE
2007
15 years 18 days ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...