875 search results - page 130 / 175 » Specification Modules for Methodical System Development |
102
click to vote
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
Over the past years it has become evident that the benefits of object orientation warrant the design and development of reengineering methods that aim to migrate legacy procedural...
RTAS
1997
IEEE
15 years 1 months ago
1997
IEEE
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...
IFIP
2004
Springer
15 years 3 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
WISE
2002
Springer
15 years 2 months ago
2002
Springer
Applying meta search systems is a suitable method to support the user if there are many different retrieval services available in the Web. Due to information splitting strategies ...
SIGMOD
2004
ACM
15 years 10 months ago
2004
ACM
As databases become more pervasive through the biological sciences, various data quality issues regarding data legacy, data uniformity and data duplication arise. Due to the natur...