Verification and validation in the context of domain-specific modelling

Συγγραφείς: Janne Merilinna, Juha Pärssinen

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.dsmforum.org/events/DSM10/Papers/Merilinna.pdf.

Θεματικοί όροι: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification- Validation General Terms Design, Languages and Verification Keywords Model-Driven Development, Model-Based Testing and Requirements Tracing

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.1833; http://www.dsmforum.org/events/DSM10/Papers/Merilinna.pdf

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.682.1833
http://www.dsmforum.org/events/DSM10/Papers/Merilinna.pdf