×

Found 30 Documents (Results 1–30)

100
MathJax

Measuring characteristics of models and model transformations using ontology and graph rewriting techniques. (English) Zbl 1211.68119

Maciaszek, Leszek A. (ed.) et al., Evaluation of novel approaches to software engineering. 3rd and 4th international conference, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4–7, 2008, Milan, Italy, May 9–10, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14818-7/pbk). Communications in Computer and Information Science 69, 3-16 (2010).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI

Lessons learned from building a graph transformation system. (English) Zbl 1309.68108

Engels, Gregor (ed.) et al., Graph transformations and model-driven engineering. Essays dedicated to Manfred Nagl on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-17321-9/pbk). Lecture Notes in Computer Science 5765, 202-223 (2010).
MSC:  68Q42 68N99 68R10
PDF BibTeX XML Cite
Full Text: DOI Link

Formal model-driven design of distributed algorithms. (English) Zbl 1291.68429

Češka, Milan (ed.) et al., Proceedings of the international doctoral workshop on mathematical and engineering methods in computer science (MEMICS 2008), Znojmo, Czech Republic, November 14–16, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 251, 49-64 (2009).
MSC:  68W15 68Q60
PDF BibTeX XML Cite
Full Text: DOI

Domain-specific semantics and data refinement of object models. (English) Zbl 1279.68184

Moreira, Anamaria Martins (ed.) et al., Proceedings of the Brazilian symposium on formal methods (SBMF 2006), Natal, Rio Grande de Norte, Brazil, September 17–23, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 195, 151-170 (2008).
MSC:  68Q55 68N30
PDF BibTeX XML Cite
Full Text: DOI

A model driven architecture approach to web development. (English) Zbl 1160.68344

Filipe, Joaquim (ed.) et al., Software and data technologies. Second international conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22–25, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-88654-9/pbk). Communications in Computer and Information Science 22, 101-113 (2008).
MSC:  68N99 68M10
PDF BibTeX XML Cite
Full Text: DOI Link

Analysis for knowledge-based systems. A practical guide to the KADS methodology. (English) Zbl 0754.68112

Ellis Horwood Series in Information Technology. Chichester: Ellis Horwood Ltd. New York etc.: Halsted Press. 190 p. (1989).
MSC:  68T35 68-02
PDF BibTeX XML Cite

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

Classification

all top 3

Software