Model-driven engineering city spaces via bidirectional model transformations
暂无分享,去创建一个
Carlo Ghezzi | Zhenjiang Hu | Christos Tsigkanos | Ennio Visconti | Zhenjiang Hu | C. Ghezzi | Christos Tsigkanos | Ennio Visconti
[1] Marcus Liwicki,et al. Automatic analysis and sketch-based retrieval of architectural floor plans , 2014, Pattern Recognit. Lett..
[2] Xiangyu Wang,et al. A Critical Review of the Integration of Geographic Information System and Building Information Modelling at the Data Level , 2018, ISPRS Int. J. Geo Inf..
[3] Jordi Cabot,et al. Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.
[4] Marcus Liwicki,et al. Graph-based retrieval of building information models for supporting the early design stages , 2013, Adv. Eng. Informatics.
[5] Zhenjiang Hu,et al. An axiomatic basis for bidirectional programming , 2018, Proc. ACM Program. Lang..
[6] Akiko Sato,et al. Map representation for ubiquitous network robot services , 2012, ISA '12.
[7] Christel Baier,et al. Principles of model checking , 2008 .
[8] Carlo Ghezzi,et al. Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations , 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).
[9] K. H. Soon,et al. CITYGML MODELLING FOR SINGAPORE 3D NATIONAL MAPPING , 2017 .
[10] Filip Biljecki,et al. CityGML Application Domain Extension (ADE): overview of developments , 2018, Open Geospatial Data, Software and Standards.
[11] Jantien E. Stoter,et al. Processing BIM and GIS Models in Practice: Experiences and Recommendations from a GeoBIM Project in The Netherlands , 2018, ISPRS Int. J. Geo Inf..
[12] Markus Völter,et al. Model-Driven Software Development: Technology, Engineering, Management , 2006 .
[13] Thomas Buchmann,et al. Bidirectional transformations with QVT-R: A case study in round-trip engineering UML class models and java source code , 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
[14] Reinhard Klein,et al. The Room Connectivity Graph: Shape Retrieval in the Architectural Domain , 2008 .
[15] Joseph Sifakis,et al. Model checking , 1996, Handbook of Automated Reasoning.
[16] Frits Tolman,et al. Modelling multiple views on buildings , 1992 .
[17] Kavisha Kumar,et al. Utilities of Virtual 3D City Models Based on CityGML: Various Use Cases , 2018, Journal of the Indian Society of Remote Sensing.
[18] Carlo Ghezzi,et al. Inferring Analyzable Models from Trajectories of Spatially-Distributed Internet of Things , 2019, 2019 IEEE/ACM 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS).
[19] R. Milner,et al. Bigraphical Reactive Systems , 2001, CONCUR.
[20] T. H. Kolbe,et al. CityGML: Interoperable Access to 3D City Models , 2005 .
[21] Zhenjiang Hu,et al. Principles and Practice of Bidirectional Programming in BiGUL , 2016, Bidirectional Transformations.
[22] Ezio Bartocci,et al. Monitoring mobile and spatially distributed cyber-physical systems , 2017, MEMOCODE.
[23] T. H. Kolbe,et al. OpenGIS City Geography Markup Language (CityGML) Encoding Standard, Version 1.0.0 , 2008 .
[24] Jing Gao,et al. Distributed Parallel Needleman-Wunsch Algorithm on Heterogeneous Cluster System , 2015, 2015 International Conference on Network and Information Systems for Computers.
[25] Kevin Lano,et al. Declarative Specification of Bidirectional Transformations Using Design Patterns , 2019, IEEE Access.
[26] Zhenjiang Hu,et al. Monadic combinators for "Putback" style bidirectional programming , 2014, PEPM '14.
[27] Michael J. Fischer,et al. The String-to-String Correction Problem , 1974, JACM.
[28] Perdita Stevens,et al. Bidirectional Transformations , 2018, Lecture Notes in Computer Science.
[29] Tele Tan,et al. Breaking into BIM: Performing static and dynamic security analysis with the aid of BIM , 2014 .
[30] A. Konde,et al. Web enabled spatio-temporal semantic analysis of traffic noise using CityGML , 2017 .
[31] Zhenjiang Hu,et al. BiGUL: a formally verified core language for putback-based bidirectional programming , 2016, PEPM.
[32] James Cheney,et al. A List of Successes That Can Change the World , 2016 .
[33] Thomas Buchmann. BXtend - A Framework for (Bidirectional) Incremental Model Transformations , 2018, MODELSWARD.
[34] Charles M. Eastman,et al. BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers and Contractors , 2008 .
[35] Terrence W. Pratt,et al. Pair Grammars, Graph Languages and String-to-Graph Translations , 1971, J. Comput. Syst. Sci..
[36] Carlo Ghezzi,et al. Model-Driven Design of City Spaces via Bidirectional Transformations , 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS).
[37] Carlo Ghezzi,et al. Modeling and verification of evolving cyber-physical spaces , 2017, ESEC/SIGSOFT FSE.
[38] Filip Biljecki,et al. Applications of 3D City Models: State of the Art Review , 2015, ISPRS Int. J. Geo Inf..
[39] Mei-Po Kwan,et al. Emergency response after 9/11: the potential of real-time 3D GIS for quick emergency response in micro-spatial environments , 2005, Comput. Environ. Urban Syst..
[40] John Krogstie,et al. Analysis and Visualization of Urban Emission Measurements in Smart Cities , 2018, EDBT.
[41] Hartmut Ehrig,et al. Correctness of model synchronization based on triple graph grammars , 2011, MODELS'11.
[42] D Sankoff,et al. Matching sequences under deletion-insertion constraints. , 1972, Proceedings of the National Academy of Sciences of the United States of America.
[43] Nicolas Spyratos,et al. Update semantics of relational views , 1981, TODS.
[44] Thomas H. Kolbe,et al. CityGML 3.0: New Functions Open Up New Applications , 2020, PFG – Journal of Photogrammetry, Remote Sensing and Geoinformation Science.
[45] Carlo Ghezzi,et al. On Early Statistical Requirements Validation of Cyber-Physical Space Systems , 2018, 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS).
[46] Andy Schürr,et al. Specification of Graph Translators with Triple Graph Grammars , 1994, WG.
[47] Wesley M. DeBusk. Unmanned Aerial Vehicle Systems for Disaster Relief: Tornado Alley , 2010 .
[48] Sisi Zlatanova,et al. Detecting shadow for direct radiation using CityGML models for photovoltaic potentiality analysis , 2013 .
[49] Mario Vento,et al. Thirty Years Of Graph Matching In Pattern Recognition , 2004, Int. J. Pattern Recognit. Artif. Intell..
[50] Anthony A. Maciejewski,et al. Multiple-Scenario Unmanned Aerial System Control: A Systems Engineering Approach and Review of Existing Control Methods , 2016 .
[51] Daniel Wagner. Symmetric Edit Lenses: A New Foundation for Bidirectional Languages , 2014 .
[52] Perdita Stevens,et al. Bidirectional model transformations in QVT: semantic issues and open questions , 2007, MODELS'07.
[53] James Cheney,et al. Introduction to Bidirectional Transformations , 2018, Bidirectional Transformations.
[54] Javier Irizarry,et al. Optimizing location of tower cranes on construction sites through GIS and BIM integration , 2012, J. Inf. Technol. Constr..
[55] Carlo Ghezzi,et al. Adding Static and Dynamic Semantics to Building Information Models , 2016, 2016 IEEE/ACM 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS).
[56] Carlo Ghezzi,et al. An EMOF-Compliant Abstract Syntax for Bigraphs , 2016, GaM@ETAPS.
[57] Bernhard Westfechtel,et al. Benchmarking bidirectional transformations: theory, implementation, application, and assessment , 2019, Software and Systems Modeling.
[58] Khaled Mohamed Shawki,et al. GA optimization model for solving tower crane location problem in construction sites , 2015 .
[59] Markus König,et al. BIM Applications of Rule-Based Checking in Construction Site Layout Planning Tasks , 2016 .
[60] Carlo Ghezzi,et al. Architecting dynamic cyber-physical spaces , 2016, Computing.
[61] Alcino Cunha,et al. Implementing QVT-R Bidirectional Model Transformations Using Alloy , 2013, FASE.
[62] Filip Biljecki,et al. Achieving Complete and Near-Lossless Conversion from IFC to CityGML , 2018, ISPRS Int. J. Geo Inf..
[63] Robin Milner,et al. The Space and Motion of Communicating Agents , 2009 .
[64] Agnar Aamodt,et al. Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches , 1994, AI Commun..
[65] Jantien Stoter,et al. ESTABLISHING A NATIONAL 3D GEO-DATA MODEL FOR BUILDING DATA COMPLIANT TO CITYGML: CASE OF TURKEY , 2016 .
[66] James Cheney,et al. Reflections on Monadic Lenses , 2016, A List of Successes That Can Change the World.