448 search results - page 48 / 90 » A Meta-Method for Formal Method Integration |
147
click to vote
IFM
2007
Springer
15 years 9 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...
146
click to vote
QOSA
2010
Springer
15 years 6 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
143
click to vote
DAGSTUHL
2004
15 years 4 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
117
click to vote
DKE
2007
15 years 3 months ago
2007
In our days knowledge extraction methods are able to produce artifacts (also called patterns) that concisely represent data. Patterns are usually quite heterogeneous and require a...
124
click to vote
ICCS
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, we discuss Conceptual Knowledge Discovery in Databases (CKDD) in its connection with Data Analysis. Our approach is based on Formal Concept Analysis, a mathematical ...