65,717 Hits in 8.6 sec

Formality, Evolution, and Model-driven Software Engineering

Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen
2005 Electronical Notes in Theoretical Computer Science  
This paper introduces an approach to software development in which a series of working implementations are generated automatically from a series of formal specifications.  ...  The specifications are precise object models, in which operations are described in terms of pre-and post-conditions.  ...  Model-driven software engineering Software engineering, as defined by Bauer [5] , is "the establishment and use of sound engineering principles in order to obtain, economically, software that is reliable  ... 
doi:10.1016/j.entcs.2005.03.004 fatcat:c2d5nvgcz5fvtiia3del7agulq

Multimodel-Driven Software Engineering for Evolving Enterprise Systems

Richard F. Paige, Radu Calinescu, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Dave Cliff
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
We advocate the use of multimodel-driven software engineering for the principled evolution of enterprise systems whose stakeholder concerns are captured using multiple interdependent models.  ...  We describe key challenges associated with modelling, reasoning about QoS properties, and evolving such systems.  ...  We have motivated the need for and the challenges of multimodel-driven software development (MMSE), particularly focusing on evolving enterprise systems.  ... 
dblp:conf/models/PaigeCKMC13 fatcat:765g725jdvcv7fcaa2eikoevhi


Reiko Heckel, Jean-Marie Favre, Tom Mens
2007 Electronic Communications of the EASST  
Transformation-based techniques such as refactoring, model transformation and model-driven development, architectural reconfiguration, etc. are at the heart of many software engineering activities, making  ...  foundations and applications.  ...  They address activities like model-driven development, model and code refactoring, model merging and consistency management, requirements evolution, and run-time evolution of web service processes.  ... 
doi:10.14279/tuj.eceasst.3.35.24 dblp:journals/eceasst/HeckelFM06 fatcat:zyj4splku5g4bhzj67wape5ck4

Customisable Transformation-Driven Evolution for Service Architectures

Aakash Ahmad, Claus Pahl
2011 2011 15th European Conference on Software Maintenance and Reengineering  
Based on the initial results, we plan to proceed toward modeling and automating the architectural evolution in a formal way.  ...  hypothesis for architecturecentric software evolution.  ...  ACKNOWLEDGEMENT This work is supported, in part by Science Foundation Ireland through grant 03/CE2/I303 1 to Lero -The Irish Software Engineering Research Centre (  ... 
doi:10.1109/csmr.2011.56 dblp:conf/csmr/AhmadP11 fatcat:hy7y5wmz7zcyhm4jxgunz5ax4a

Variability and Evolution in Systems of Systems

Goetz Botterweck
2013 Electronic Proceedings in Theoretical Computer Science  
Engineering can be helpful in Product Line Engineering and Software Evolution.  ...  ., variability and evolution. (2) We argue that concepts from Product Line Engineering and Software Evolution are relevant to Systems of Systems Engineering. (3) Conversely, concepts from Systems of Systems  ...  Acknowledgements This work is partially supported by Science Foundation Ireland under grant no. 03/CE2/I303 1 to Lero -The Irish Software Engineering Research Centre,  ... 
doi:10.4204/eptcs.133.2 fatcat:chzat3mcrbg6tblvwbvz3jwyzu

Addressing Multi-Domain Integration Challenge in Robotics using Model-Based Approach

Arunkumar Ramaswamy, Bruno Monsuez, Adriana Tapus
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
We discuss how heterogeneous domain models can be modeled and integrated for systematic software development, and how it can be employed in intelligent model evolution.  ...  Software development for robotic systems require knowledge from several domains. This paper highlights the application of domain modeling in SafeRobots Framework for designing robotic systems.  ...  SafeRobots is based on three software engineering paradigms: Knowledge-based engineering, Model-driven engineering, and Component-based software engineering.  ... 
dblp:conf/models/RamaswamyMT14 fatcat:a2xotmb3kbdhfcg24olpfchn6u

Towards Automated Analysis of Model-Driven Artifacts in Industry

Ramon Schiffelers, Yaping Luo, Josh Mengerink, Mark van den Brand
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
The evolution of models, DSLs and complete MDSE ecosystems is studied to identify and develop means that support evolution at minimal costs while maintaining high quality.  ...  Schiffelers, R., Luo, Y., Mengerink, J. and Brand, M. Towards Automated Analysis of Model-Driven Artifacts in Industry.  ...  Furthermore, we thank the anonymous reviewers whose valuable comments and suggestions helped to improve and clarify this paper.  ... 
doi:10.5220/0006749407430751 dblp:conf/modelsward/SchiffelersLMB18 fatcat:jz374ktrmjcjvfpma5x4p23ro4

Ontology-driven software engineering 2010

Sergio de Cesare, Frederik Gailly, Grant Holland, Mark Lycett, Chris Partridge
2010 Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion - SPLASH '10  
Ontology-Driven Software Engineering.  ...  In software engineering, however, the adoption of ontology-driven methods and techniques is still at an initial stage of definition and gestation.  ...  ., formalized conceptual models of real world domains) can contribute to improving Software Engineering -its processes and its artifacts.  ... 
doi:10.1145/1869542.1869612 dblp:conf/oopsla/CesareGHLP10 fatcat:quv5un3br5awhkenw7vcjq6ol4

Derivational software engineering

Douglas R. Smith, Louis Hoebel
2010 Proceedings of the FSE/SDP workshop on Future of software engineering research - FoSER '10  
In our view, software should be treated as a formal composition of requirement specifications, models, library components, design abstractions (e.g. system architecture patterns, design patterns, algorithm  ...  Without an explicit derivation structure, there can be little in the way of machine support for software evolution. • Lack of confidence -The design and evolution process leaves behind little or no evidence  ...  • Requirements engineeringFormal specification languages and logics • Domain-specific languages and models • System architecture patterns and modeling formalisms • Design patterns • Model-Driven  ... 
doi:10.1145/1882362.1882434 dblp:conf/sigsoft/SmithH10 fatcat:2gzj5gmyd5bghcqt4h3okyjqbe

Introduction to the SoSyM theme issue on models and evolution

Dalila Tamzalit, Bernhard Schätz, Alfonso Pierantonio, Dirk Deridder
2013 Journal of Software and Systems Modeling  
Therefore, adopting models, techniques, and tools for coping with and managing changes that accompany the evolution of software models is an essential discipline of Software Engineering.  ...  Models and evolution: great challenges With the increasing use of Model-Based Development in many domains (e.  ...  The approach is based on model-driven engineering concepts and is accompanied by a tool-supported process. • In "Evolution Styles: Foundations and Models for Software Architecture Evolution" Jeffrey Barnes  ... 
doi:10.1007/s10270-013-0338-4 fatcat:px475eqnq5e27aixbaprv3n7uy

Coupled evolution of model-driven spreadsheets

Jorge Mendes
2012 2012 34th International Conference on Software Engineering (ICSE)  
With our approach, we ensure model/data compliance while allowing for model and data evolution.  ...  Although this approach has been proved effective in other contexts, still it needs to accommodate for future evolution of both the model and its instance, so that they remain synchronized at all moments  ...  We studied one complex and relevant problem in model-driven engineering: the evolution of the model (data) and the automatic synchronization of the data (model).  ... 
doi:10.1109/icse.2012.6227225 dblp:conf/icse/Mendes12a fatcat:kzd6l7yidravjcqtfdqvu7lum4

Ontology Driven Software Engineering in Multi-Site Software Development

Prof. Rashmi Phalnikar, Prof. S.D. Joshi
2010 International Journal of Computer Applications  
and software classes.  ...  However, the diversity between the software teams, their members, team leaders and managers can give rise to several practical problems and unidentified issues.  ...  Ontology-Driven Software Engineering refers to the different ways in which ontologies (i.e., formalized conceptual models of real world domains) can contribute to improving Software Engineering -its processes  ... 
doi:10.5120/503-820 fatcat:fqph6iotnncsxc5cgjgxnpr4rm

Towards Model-Driven Evolution of Performance Critical Business Information Systems to Cloud Computing Architectures

Steffen Becker, Matthias Tichy
2012 Softwaretechnik-Trends  
In this paper, we sketch an approach, that combines reverse engineering and performance analyses for applications evolving to the cloud.  ...  State of the Art The major foundations for the sketched process are already in place, i.a, software architectural patterns, software performance engineering, architecture evolution, and model transformations  ...  Evolved Performance Model Evolution Reverse Engineering Performance Evaluation Evolution Recommendation  ... 
doi:10.1007/bf03323454 fatcat:syhpq5n4i5fgbflmnry5bwwroi


Alessandra Russo, Andy Schürr, Heike Wehrheim
2019 Formal Aspects of Computing  
or visualization techniques; • Model-driven development and model transformation: meta-modelling, design and semantics of domainspecific languages, consistency and transformation of models, generative  ...  architectures; • Software processes: support for iterative, agile, and open source development; • Software evolution: refactoring, reverse and re-engineering, configuration management and architectural  ...  decomposition of software controllers through formal specifications and incremental development and verification of the sub-components allowing prototypic implementations of components to be replaced  ... 
doi:10.1007/s00165-019-00495-y fatcat:kzy2tx5uhvc5rllle2ojefkucm

Architectural Support for Model-Driven Performance Prediction of Distributed Real-Time Embedded Systems of Systems [chapter]

Vanea Chiprianov, Katrina Falkner, Claudia Szabo, Gavin Puddy
2014 Lecture Notes in Computer Science  
Our architecture allows for loose coupling, interoperability, and adaptability and facilitates sustainable evolution of the performance model of the SoS.  ...  We adopt an Event Driven Architecture to support this modelling, as it allows for more realistic and flexible performance simulation, which enables more accurate performance prediction.  ...  Prediction of software performance has developed from early approaches based on abstract models to model-driven engineering [5] based approaches.  ... 
doi:10.1007/978-3-319-09970-5_30 fatcat:dwpkkyd7xjgyrpk3wcbchm7agm
« Previous Showing results 1 — 15 out of 65,717 results