Searched: ^r
Results from SPG web retrieved at 23:37 (GMT)
Results from SPG web retrieved at 23:37 (GMT)
Components Our laws can be used to reason, based on syntactic conditions, whether two specifications are equivalent. Specification Matching of Software Components ...
Model Refactoring Composing the laws proposed, we can derive model refactorings that are useful, for instance, to formally introduce design patterns into a model ...
Prototype Verification System (PVS) PVS is a system consisting of a specification language and a theorem prover. We are using it to encode an equivalence notion for ...
UML and OCL We leveraged our laws proposed for Alloy to UML/OCL. In order to do that, we proposed a semantics for UML Class Diagrams using Alloy as the semantics model ...
Reporting Unsafe Dynamic Feature Compositions To support client requirements that change at runtime within software product lines, researchers introduced some AspectJ ...
Number of topics: 6
Topic revision: r44 - 2015-01-06 - PauloBorba
SPG
Members
Research Areas and Projects
Publications
Theses
Talks and Posters
Software and Processes
Weekly Seminar
Events
Visits
Related research
Contact
Internal links
Search
Create New Topic
RSS Feed |
|
Copyright © 2008-2025 by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback