Publication | Open Access

Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework

EngineeringAutomated ReasoningProgram AnalysisObject-oriented ModelingFormal MethodsSoftware AnalysisSoftware EngineeringSystems EngineeringObject-oriented ProgrammingSynchronous FrameworkComputer ScienceReactive SystemsAspect-oriented ProgrammingProgramming MethodologyFormal VerificationSystem SoftwareSoftware DesignReactive Language