Tyck till om SwePub Sök
här!
Sökning: id:"swepub:oai:research.chalmers.se:c7b5c7f0-23c0-47e3-b87b-7fe108ec00fa" >
TriCo—Triple Co-pil...
TriCo—Triple Co-piloting of Implementation, Specification and Tests
-
- Ahrendt, Wolfgang, 1967 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology,Chalmers University of Technology, Gothenburg, Sweden
-
- Gurov, Dilian, 1964- (författare)
- KTH,Teoretisk datalogi, TCS,Kungliga Tekniska Högskolan (KTH),Royal Institute of Technology (KTH)
-
- Johansson, Moa, 1981 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology,Chalmers University of Technology, Gothenburg, Sweden
-
visa fler...
-
- Rümmer, Philipp, 1978 (författare)
- Uppsala universitet,Avdelningen för datorteknik,Datorteknik,University of Regensburg, Regensburg, Germany,Embedded Systems
-
visa färre...
-
(creator_code:org_t)
- 2022-10-17
- 2022
- Engelska.
-
Ingår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Cham : Springer International Publishing. - 1611-3349 .- 0302-9743. ; 13701 LNCS, s. 174-187, s. 174-187
- Relaterad länk:
-
https://research.cha...
-
visa fler...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- This white paper presents the vision of a novel methodology for developing safety-critical software, which is inspired by late developments in learning based co-piloting of implementations. The methodology, called TriCo, integrates formal methods with learning based approaches to co-pilot the agile, simultaneous development of three artefacts: implementation, specification, and tests. Whenever the user changes any of these, a TriCo empowered IDE would suggest changes to the other two artefacts in such a way that the three are kept consistent. The user has the final word on whether the changes are accepted, rejected, or modified. In the latter case, consistency will be checked again and re-established. We discuss the emerging trends which put the community in a good position to realise this vision, describe the methodology and workflow, as well as challenges and possible solutions for the realisation of TriCo.
Ämnesord
- SAMHÄLLSVETENSKAP -- Medie- och kommunikationsvetenskap -- Mänsklig interaktion med IKT (hsv//swe)
- SOCIAL SCIENCES -- Media and Communications -- Human Aspects of ICT (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Systemvetenskap, informationssystem och informatik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Information Systems (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Computer Science
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas