14670 search results - page 56 / 2934 » The Systems Modeling Language for Products and Systems Devel... |
EDOC
2006
IEEE
14 years 2 months ago
2006
IEEE
At present, with the expansion of information technologies at the industry, it is vital to implant proactive, self-managed systems that ensure continuous operation and, therefore,...
BIRTHDAY
2003
Springer
14 years 1 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
ASE
2011
13 years 3 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
DBPL
1989
Springer
14 years 4 days ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
AGTIVE
2007
Springer
14 years 3 days ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...