Towards a Unified View of Modeling and Programming (Track Summary)
نویسندگان
چکیده
ions for modeling complex systems. In T. Margaria and B. Steffen, edi-tors, 7th International Symposium On Leveraging Applications of Formal Methods,Verification and Validation, ISoLA 2016, Corfu, Greece, October 10-14, LNCS.Springer, 2016. These proceedings. 9. G. T. Leavens, D. Naumann, H. Rajan, and T. Aotani. Specifying and verifyingadvanced control features. In T. Margaria and B. Steffen, editors, 7th InternationalSymposium On Leveraging Applications of Formal Methods, Verification and Val-idation, ISoLA 2016, Corfu, Greece, October 10-14, LNCS. Springer, 2016. Theseproceedings. 10. T. C. Lethbridge, V. Abdelzad, M. H. Orabi, A. H. Orabi, and O. Adesina. Merg-ing modeling and programming using Umple. In T. Margaria and B. Steffen,editors, 7th International Symposium On Leveraging Applications of Formal Meth-ods, Verification and Validation, ISoLA 2016, Corfu, Greece, October 10-14, LNCS.Springer, 2016. These proceedings. 11. S. Naujokat, J. Neubauer, T. Margaria, and B. Steffen. Meta-level reuse for mastering domain specialization. In T. Margaria and B. Steffen, editors, 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Corfu, Greece, October 10-14, LNCS. Springer, 2016. These
منابع مشابه
Towards a Unified View of Modeling and Programming
In this paper we argue that there is a value in providing a unified view of modeling and programming. Models are meant to describe a system at a high level of abstraction for the purpose of human understanding and analysis. Programs, on the other hand, are meant for execution. However, programming languages are becoming increasingly higher-level, with convenient notation for concepts that in th...
متن کاملNumerical Modeling of Railway Track Supporting System using Finite-Infinite and Thin Layer Elements
The present contribution deals with the numerical modeling of railway track-supporting systems-using coupled finite-infinite elements-to represent the near and distant field stress distribution, and also employing a thin layer interface element to account for the interfacial behavior between sleepers and ballast. To simulate the relative debonding, slipping and crushing at the contact area betw...
متن کاملBUSINESS PROCESS MODELING TOWARDS DATA QUALITY ASSURANCE An Organizational Engineering Approach
Data is handled everyday by information systems and its inherent quality is a fundamental aspect to operational and support business activities. However, inappropriate data quality may lead to economic and social problems within the organizational context. This paper addresses how to syntactically and semantically ensure data quality at information entity level. To do so, we define a business p...
متن کاملTowards Symbolic Analysis of Model Transformations
As the Unified Modeling Language is evolving into a family of languages with individually specified semantics, there is an increasing need for highly automated and provenly correct model transformations that assure the integration of local views of the system (in the form of different diagrams) into a consistent global view. Graph transformation provides an easy-to-understand visual specificati...
متن کاملTowards a Unified Declarative and Imperative XQuery Processor
Since the birth of XML, the processing of XML query languages like XQuery/XQueryP has been widely researched in the academic and industrial communities. Most of the approaches consider XQuery as a declarative query language similar to SQL, for which the iterator-based (stream-based), lazy evaluation processing strategy can be applied. The processing is combined with XML indexing, materialized v...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016