TriCo—Triple Co-piloting of Implementation, Specification and Tests
Wolfgang Ahrendt, Dilian Gurov, Moa Johansson, Philipp Rümmer
Topics & Concepts
RealisationAgile software developmentWorkflowComputer scienceImplementationConsistency (knowledge bases)Software engineeringTest-driven developmentSoftwareSystems engineeringArtificial intelligenceSoftware developmentProgramming languageEngineeringDatabasePhysicsQuantum mechanicsSoftware Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchFormal Methods in Verification