Formal specification and verification of reusable communication models for distributed systems architecture
Quentin Rouland, Brahim Hamid, Jason Jaskolka
Topics & Concepts
Computer scienceSoftware engineeringMetamodelingDistributed computingSemantics (computer science)Formal methodsCommunications protocolProgramming languageOperating systemAdvanced Software Engineering MethodologiesService-Oriented Architecture and Web ServicesModel-Driven Software Engineering Techniques