BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
well (12)
rule (5)
exampl (4)
constraint (3)
featur (3)

Stem formed$ (all stems)

12 papers:

MODELSMoDELS-J-2011-Steimann15 #refactoring
From well-formedness to meaning preservation: model refactoring for almost free (FS), pp. 307–320.
MODELSMoDELS-J-2011-Steimann15 #refactoring
From well-formedness to meaning preservation: model refactoring for almost free (FS), pp. 307–320.
MODELSMoDELS-2013-FaunesCBSC #automation #metamodelling
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
MODELSMoDELS-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.
MODELSMoDELS-2013-FaunesCBSC #automation #metamodelling
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples (MF, JJC, BB, HAS, BC), pp. 187–202.
MODELSMoDELS-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.
ICEISICEIS-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.
FMFM-2008-RudichDM #specification
Checking Well-Formedness of Pure-Method Specifications (AR, ÁD, PM), pp. 68–83.
SEKESEKE-2008-PereiraBO #process
Process tailoring based on well-formedness rules (EBP, RMB, TCdO), pp. 185–190.
FASEFASE-2006-WestphalT #sequence chart
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts (BW, TT), pp. 230–246.
GPCEGPCE-2006-CzarneckiP #constraints #ocl #verification
Verifying feature-based model templates against well-formedness OCL constraints (KC, KP), pp. 211–220.
ATEMATEM-2006-Garcia #formal method #ocl #uml
Formalizing the Well-Formedness Rules of EJB3QL in UML + OCL (MG), pp. 66–75.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.