1000 search results - page 50 / 200 » Relationship Model of Abstractions Used for Developing Domai... |
ECBS
2011
IEEE
12 years 8 months ago
2011
IEEE
—Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant informat...
ER
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Methodologies are one of the most significant key factors to the success of project development. Since there is no single methodology that can be uniquely pointed as &quo...
ACSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Coordinating multiple overlapping defense mechat differing levels of abstraction, is fraught with the potential for misconfiguration, so there is strong motivation to generate p...
ERCIMDL
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. The PROBADO project is a research effort to develop Digital Library support for non-textual documents. The main goal is to contribute to all parts of the Digital Library...
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Symbolic reasoning is in the core of many software development tools such as: bug-finders, test-case generators, and verifiers. Of renewed interest is the use of symbolic...