12 papers:
MoDELS-J-2011-Steimann15 #refactoring- From well-formedness to meaning preservation: model refactoring for almost free (FS), pp. 307–320.
- MoDELS-J-2011-Steimann15 #refactoring
- From well-formedness to meaning preservation: model refactoring for almost free (FS), pp. 307–320.
- MoDELS-2013-FaunesCBSC #automation #metamodelling
- Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
- MoDELS-2013-SemerathHV #constraints #domain-specific language #graph #query #validation
- Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
- MoDELS-2013-FaunesCBSC #automation #metamodelling
- Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
- MoDELS-2013-SemerathHV #constraints #domain-specific language #graph #query #validation
- Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
ICEIS-J-2011-PereiraBOM #consistency #process #set- A Set of Well-Formedness Rules to Checking the Consistency of the Software Processes Based on SPEM 2.0 (EBP, RMB, TCO, MCM), pp. 284–299.
FM-2008-RudichDM #specification- Checking Well-Formedness of Pure-Method Specifications (AR, ÁD, PM), pp. 68–83.
SEKE-2008-PereiraBO #process- Process tailoring based on well-formedness rules (EBP, RMB, TCdO), pp. 185–190.
FASE-2006-WestphalT #sequence chart- The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts (BW, TT), pp. 230–246.
GPCE-2006-CzarneckiP #constraints #ocl #verification- Verifying feature-based model templates against well-formedness OCL constraints (KC, KP), pp. 211–220.
ATEM-2006-Garcia #formal method #ocl #uml- Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL (MG), pp. 66–75.
