10159 search results - page 246 / 2032 » System Design Validation Using Formal Models |
118
click to vote
IJMTM
2007
15 years 3 months ago
2007
: We consider a new type of value chain that includes both production and service capabilities for existing product lines and that incorporates new product and service development....
150
click to vote
IUI
2003
ACM
15 years 8 months ago
2003
ACM
Authoring dynamic web pages is an inherently difficult task. We present DESK, an interactive authoring tool that allows the customization of dynamic page generation procedures wit...
151
click to vote
FM
2009
Springer
15 years 28 days ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
111
click to vote
COMPSAC
2000
IEEE
15 years 7 months ago
2000
IEEE
Components-based development is promising in improving software development productivity and software quality by re-using existing well-tested software components. However, one of...
137
click to vote
ICMCS
2009
IEEE
15 years 27 days ago
2009
IEEE
The next-generation social communication medium, teleimmersion, is receiving increasing attention from both the research and industrial communities. It enables interaction between...