Searched: ^r

Results from SPG web retrieved at 02:53 (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
 
This site is powered by the TWiki collaboration platformCopyright © 2008-2021 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

mersin escort bayan adana escort bayan izmit escort ankara escort bursa escort