Matches in SemOpenAlex for { <https://semopenalex.org/work/W2337818390> ?p ?o ?g. }
- W2337818390 abstract "Aircrafts, trains, cars, plants, distributed telecommunication military or health care systems,and more, involve systems design as a critical step. Complexity has caused system design times and coststo go severely over budget so as to threaten the health of entire industrial sectors. Heuristic methods andstandard practices do not seem to scale with complexity so that novel design methods and tools based on astrong theoretical foundation are sorely needed. Model-based design as well as other methodologies suchas layered and compositional design have been used recently but a unified intellectual framework with acomplete design flow supported by formal tools is still lacking.Recently an “orthogonal” approach has been proposed that can be applied to all methodologies introducedthus far to provide a rigorous scaffolding for verification, analysis and abstraction/refinement: contractbaseddesign. Several results have been obtained in this domain but a unified treatment of the topic that canhelp in putting contract-based design in perspective is missing. This paper intends to provide such treatmentwhere contracts are precisely defined and characterized so that they can be used in design methodologiessuch as the ones mentioned above with no ambiguity. In addition, the paper provides an important linkbetween interface and contract theories to show similarities and correspondences.This paper is complemented by a companion paper where contract based design is illustrated throughuse cases." @default.
- W2337818390 created "2016-06-24" @default.
- W2337818390 creator A5020920533 @default.
- W2337818390 creator A5031067225 @default.
- W2337818390 creator A5032959984 @default.
- W2337818390 creator A5041261044 @default.
- W2337818390 creator A5052399473 @default.
- W2337818390 creator A5053665575 @default.
- W2337818390 creator A5069362159 @default.
- W2337818390 creator A5075584449 @default.
- W2337818390 creator A5088544557 @default.
- W2337818390 creator A5088660554 @default.
- W2337818390 date "2015-07-01" @default.
- W2337818390 modified "2023-10-03" @default.
- W2337818390 title "Contracts for Systems Design: Theory" @default.
- W2337818390 cites W100053617 @default.
- W2337818390 cites W100400363 @default.
- W2337818390 cites W120333500 @default.
- W2337818390 cites W1482962177 @default.
- W2337818390 cites W1485594735 @default.
- W2337818390 cites W1491037212 @default.
- W2337818390 cites W1496394448 @default.
- W2337818390 cites W1498432697 @default.
- W2337818390 cites W1500510551 @default.
- W2337818390 cites W1502451640 @default.
- W2337818390 cites W1502714871 @default.
- W2337818390 cites W1503142164 @default.
- W2337818390 cites W1517125074 @default.
- W2337818390 cites W1532760414 @default.
- W2337818390 cites W1534335973 @default.
- W2337818390 cites W1535806969 @default.
- W2337818390 cites W1535987901 @default.
- W2337818390 cites W1540180001 @default.
- W2337818390 cites W1543243434 @default.
- W2337818390 cites W1546220007 @default.
- W2337818390 cites W1553233117 @default.
- W2337818390 cites W1557653052 @default.
- W2337818390 cites W1564626116 @default.
- W2337818390 cites W1570601698 @default.
- W2337818390 cites W1574193488 @default.
- W2337818390 cites W1577761978 @default.
- W2337818390 cites W1584394310 @default.
- W2337818390 cites W1585262231 @default.
- W2337818390 cites W1587502808 @default.
- W2337818390 cites W1588015963 @default.
- W2337818390 cites W1589606351 @default.
- W2337818390 cites W1590266960 @default.
- W2337818390 cites W1591643794 @default.
- W2337818390 cites W1592055490 @default.
- W2337818390 cites W1594368577 @default.
- W2337818390 cites W1597238128 @default.
- W2337818390 cites W1597755753 @default.
- W2337818390 cites W1602650507 @default.
- W2337818390 cites W1606443439 @default.
- W2337818390 cites W1608677350 @default.
- W2337818390 cites W1629096835 @default.
- W2337818390 cites W1667182944 @default.
- W2337818390 cites W175551733 @default.
- W2337818390 cites W1776738182 @default.
- W2337818390 cites W1780789845 @default.
- W2337818390 cites W1786563508 @default.
- W2337818390 cites W18021637 @default.
- W2337818390 cites W1809672455 @default.
- W2337818390 cites W1871610027 @default.
- W2337818390 cites W1875492031 @default.
- W2337818390 cites W1879975909 @default.
- W2337818390 cites W1890744503 @default.
- W2337818390 cites W1928422391 @default.
- W2337818390 cites W1959890433 @default.
- W2337818390 cites W196284083 @default.
- W2337818390 cites W1963951244 @default.
- W2337818390 cites W1971224989 @default.
- W2337818390 cites W1972539585 @default.
- W2337818390 cites W1973154247 @default.
- W2337818390 cites W1973388684 @default.
- W2337818390 cites W1974673257 @default.
- W2337818390 cites W1980793652 @default.
- W2337818390 cites W1986348008 @default.
- W2337818390 cites W1987019098 @default.
- W2337818390 cites W1987070417 @default.
- W2337818390 cites W1989988410 @default.
- W2337818390 cites W1992160941 @default.
- W2337818390 cites W1994901326 @default.
- W2337818390 cites W2009965218 @default.
- W2337818390 cites W2015937909 @default.
- W2337818390 cites W2016310205 @default.
- W2337818390 cites W2018383753 @default.
- W2337818390 cites W2019952623 @default.
- W2337818390 cites W2032758175 @default.
- W2337818390 cites W2032848199 @default.
- W2337818390 cites W2033978538 @default.
- W2337818390 cites W2043100293 @default.
- W2337818390 cites W2048905609 @default.
- W2337818390 cites W2049708124 @default.
- W2337818390 cites W2052363833 @default.
- W2337818390 cites W2053846259 @default.
- W2337818390 cites W2053981446 @default.
- W2337818390 cites W2058107586 @default.
- W2337818390 cites W2059176334 @default.
- W2337818390 cites W2060459181 @default.