Declarative Software Development: Distilled Tutorial
作者： Ralf Lämmel , Andrei Varanovich , Martin Leinberger , Thomas Schmorleiz , Jean-Marie Favre
关键词:
摘要: Software development could be said to declarative, if declarative programming languages were used significantly in the of a software system. also lightweight or heavyweight formal methods model-driven engineering and model transformation as primary methods. This tutorial discusses another view on 'declarative development'. That is, we promote use for understanding systems, languages, technologies, concepts. More specifically, discuss method package ontology, automated analysis, modeling approach Linked Data-based publication exploration data.
acm.org
sci-hub.se 参考文章(21)
Ralf Lämmel, Andrei Varanovich, Interpretation of Linguistic Architecture european conference on modelling foundations and applications. pp. 67- 82 ,(2014) , 10.1007/978-3-319-09195-2_5
Emdad Ahmed, Use of Ontologies in Software Engineering. software engineering and data engineering. pp. 145- 150 ,(2008)
Jean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich, 101companies: a community project on software technologies and software languages TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns. ,vol. 7304, pp. 58- 74 ,(2012) , 10.1007/978-3-642-30561-0_6
Jean-Sébastien Sottet, Gaelle Calvary, Jean-Marie Favre, Jöelle Coutaz, Megamodeling and Metamodel-Driven Engineering for Plastic User Interfaces: MEGA-UI human-centered software engineering. pp. 173- 200 ,(2009) , 10.1007/978-1-84800-907-3_8
Jean Bézivin, Frédéric Jouault, Peter Rosenthal, Patrick Valduriez, Modeling in the Large and Modeling in the Small Lecture Notes in Computer Science. pp. 33- 46 ,(2005) , 10.1007/11538097_3
Ivan Kurtev, Jean Bézivin, Mehmet Aksit, Technological Spaces: An Initial Appraisal international symposium on distributed objects and applications. pp. 1- 6 ,(2002)
Leon Sterling, Lee Naish, Stepwise Enhancement and Higher-Order Programming in Prolog. Journal of Functional and Logic Programming. ,vol. 2000, pp. 1- ,(2000)
Bogdan Dit, Meghan Revelle, Malcom Gethers, Denys Poshyvanyk, Feature location in source code: a taxonomy and survey Journal of Software: Evolution and Process. ,vol. 25, pp. 53- 95 ,(2013) , 10.1002/SMR.567
Vadim Zaytsev, Anya Helene Bagge, Parsing in a Broad Sense model driven engineering languages and systems. pp. 50- 67 ,(2014) , 10.1007/978-3-319-11653-2_4
Jean-Marie Favre, Tam NGuyen, Towards a Megamodel to Model Software Evolution Through Transformations Electronic Notes in Theoretical Computer Science. ,vol. 127, pp. 59- 74 ,(2005) , 10.1016/J.ENTCS.2004.08.034