Sökning: onr:"swepub:oai:DiVA.org:kth-24021" >
A framework for det...
A framework for determining design correctness
-
- Ekenberg, Love (författare)
- Stockholms universitet,KTH,Data- och systemvetenskap, DSV,Institutionen för data- och systemvetenskap
-
- Johannesson, Paul (författare)
- Stockholms universitet,KTH,Data- och systemvetenskap, DSV,Institutionen för data- och systemvetenskap
-
(creator_code:org_t)
- Elsevier BV, 2004
- 2004
- Engelska.
-
Ingår i: Knowledge-Based Systems. - : Elsevier BV. - 0950-7051 .- 1872-7409. ; 17:07-8, s. 249-262
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- Quality is one of the main concerns in today's systems and software development and use. One important instrument in verification is the use of formal methods, which means that requirements and designs are analyzed formally to determine their relationships. Furthermore, since professional software design is to an increasing extent a distributed process, the issue of integrating different systems to an entity is of great importance in modem system development and design. Various candidates for formalizing system development and integration have prevailed, but very often, particularly for dynamic conflict detection, these introduce non-standard objects and formalisms, leading to severe confusion, both regarding the semantics and the computability. In contrast to such, we introduce a framework for defining requirement fulfillment by designs, detecting conflicts of various kinds as well as integration of heterogeneous schemata. The framework introduced transcends ordinary logical consequence, as it takes into account static and dynamic aspects of design consistency and, in particular, the specific features of the state space of a specification. Another feature of the approach is that it provides a unifying framework for design conflict analysis and schema integration.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Nyckelord
- schema integration
- conflict detection
- legacy system
- formal methods
- software development
- conflicts
- logics
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas