×

Found 30 Documents (Results 1–30)

100
MathJax

Model-driven engineering in the heterogeneous tool set. (English) Zbl 1335.68152

Braga, Christiano (ed.) et al., Formal methods: foundations and applications. 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 – October 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-15074-1/pbk). Lecture Notes in Computer Science 8941, 64-79 (2015).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI

A model-driven security requirements approach to deduce security policies based on OrBAC. (English) Zbl 1400.94180

Lin, Dongdai (ed.) et al., Information security and cryptology. 10th international conference, Inscrypt 2014, Beijing, China, December 13–15, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-16744-2/pbk; 978-3-319-16745-9/ebook). Lecture Notes in Computer Science 8957, 150-169 (2015).
MSC:  94A62
PDF BibTeX XML Cite
Full Text: DOI

A model driven approach to upgrade package-based software systems. (English) Zbl 1211.68114

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, 262-276 (2010).
MSC:  68N99
PDF BibTeX XML Cite
Full Text: DOI Link

The tower of informatic models. (English) Zbl 1194.68092

Bertot, Yves (ed.) et al., From semantics to computer science. Essays in honour of Gilles Kahn. Cambridge: Cambridge University Press (ISBN 978-0-521-51825-3/hbk). 561-574 (2009).
MSC:  68N01 68Q01
PDF BibTeX XML Cite

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

Reflections on the future of concurrency theory in general and process calculi in particular. (English) Zbl 1279.68258

Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 149-164 (2008).
MSC:  68Q85 68Q60 68-02
PDF BibTeX XML Cite
Full Text: DOI

A metamodeling approach to transform UML 2.0 Sequence Diagrams to Petri nets. (English) Zbl 1157.68402

Pahl, C. (ed.), Software engineering. Proceedings of the IASTED international conference (SE 2008), as part of the 26th IASTED international multi-conference on applied informatics, Innsbruck, Austria, February 12–14, 2008. Calgary: International Association of Science and Technology for Development (IASTED); Anaheim, CA: Acta Press (ISBN 978-0-88986-716-1/CD-ROM). 159-164 (2008).
MSC:  68Q85
PDF BibTeX XML Cite

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

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

Classification

all top 3

Software