Systematic Transformation Method From Uml To Event B

Author : Zou Sheng-Rong, Geng Xue, Yao Ju-Yi, Liu Xiao-Ying, Zhi Yu-Hua
Publisher : Scientific Research Publishing, Inc. USA
Page : 101 pages
File Size : 52,9 Mb
Release : 2024-06-05
Category : Antiques & Collectibles
ISBN : 9781649979131

Get Book

Systematic Transformation Method from UML to Event-B by Zou Sheng-Rong, Geng Xue, Yao Ju-Yi, Liu Xiao-Ying, Zhi Yu-Hua Pdf

Since the emergence of software engineering in the late 1960s, require-ments analysis has always been an important theme of software development. In the process of software development, many people are needed to coop-erate to ensure the stability and reliability of the software. According to the degree of formalization in the software development process, software en-gineering methods can be divided into three types: non-formal, semi-formal and formal. In object- oriented software development, UML has become a de facto modeling standard. However, although UML is intuitive and easy to understand and apply, it has inaccurate semantics, and UML is a semi-formal modeling language that cannot be formally verified. Event-B is a formal method based on a large number of mathematical predicate logic, which is accurate but difficult to understand and apply. Therefore, how to combine the advantages of UML diagrams and Event- B methods is the focus of re-search.

Author : Khaled Elleithy,Tarek Sobh
Publisher : Springer Science & Business Media
Page : 1204 pages
File Size : 50,5 Mb
Release : 2012-08-28
Category : Technology & Engineering
ISBN : 9781461435358

Get Book

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering by Khaled Elleithy,Tarek Sobh Pdf

Innovations and Advances in Computer, Information, Systems Sciences, and Engineering includes the proceedings of the International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2011). The contents of this book are a set of rigorously reviewed, world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Industrial Electronics, Technology and Automation, Telecommunications and Networking, Systems, Computing Sciences and Software Engineering, Engineering Education, Instructional Technology, Assessment, and E-learning.

Author : Christian Attiogbé,Flavio Ferrarotti,Sofian Maabout
Publisher : Springer Nature
Page : 209 pages
File Size : 51,9 Mb
Release : 2019-10-16
Category : Computers
ISBN : 9783030322137

Get Book

New Trends in Model and Data Engineering by Christian Attiogbé,Flavio Ferrarotti,Sofian Maabout Pdf

This book constitutes the thoroughly refereed papers of the workshops held at the 9th International Conference on New Trends in Model and Data Engineering, MEDI 2019, in Toulouse, France, in October 2019. The 12 full and the three short workshop papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are organized according to the 3 workshops: Workshop on Modeling, Verification and Testing of Dependable Critical systems, DETECT 2019, Workshop on Data Science for Social Good in Africa, DSSGA 2019, and Workshop on Security and Privacy in Models and Data, TRIDENT 2019.

Author : Michael Butler,Klaus-Dieter Schewe,Atif Mashkoor,Miklos Biro
Publisher : Springer
Page : 426 pages
File Size : 45,5 Mb
Release : 2016-05-12
Category : Mathematics
ISBN : 9783319336008

Get Book

Abstract State Machines, Alloy, B, TLA, VDM, and Z by Michael Butler,Klaus-Dieter Schewe,Atif Mashkoor,Miklos Biro Pdf

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Author : Sergio F. Ochoa,Gruia-Catalin Roman
Publisher : Springer Science & Business Media
Page : 179 pages
File Size : 53,5 Mb
Release : 2006-08-10
Category : Computers
ISBN : 9780387348285

Get Book

Advanced Software Engineering: Expanding the Frontiers of Software Technology by Sergio F. Ochoa,Gruia-Catalin Roman Pdf

On behalf of the Organizing Committee for this event, we are glad to welcome you to IWASE 2006, the First International Workshop on Advanced Software Engineering. We hope you will enjoy the traditional Chilean hospitality and, of course, please tell us how we can make your visit a pleasant and useful experience. The goal of this Workshop is to create a new forum for researchers, professionals and educators to discuss advanced software engineering topics. A distinctive feature of this Workshop is its attempt to foster interactions between the Latin-American software engineering community and computer scientists around the world. This is an opportunity to discuss with other researchers or simply to meet new colleagues. IWASE 2006 has been organized to facilitate strong interactions among those attending it and to offer ample time for discussing each paper. IWASE 2006 attracted 28 submissions from 14 countries, 8 of them outside Latin-America. Each of the 28 articles was reviewed by at least three members of the Program Committee. As a result of this rigorous reviewing process, 13 papers were accepted: nine fiill papers and four work-in-progress papers. These papers were grouped in four tracks; software architecture, software modeling, software development process and experiences in software development.

Author : Judi M.T. Romijn,Graeme P. Smith,Jaco C. van de Pol
Publisher : Springer Science & Business Media
Page : 416 pages
File Size : 41,8 Mb
Release : 2005-11-24
Category : Computers
ISBN : 9783540304920

Get Book

Integrated Formal Methods by Judi M.T. Romijn,Graeme P. Smith,Jaco C. van de Pol Pdf

This book constitutes the refereed proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in Eindhoven, The Netherlands, in November/December 2005. The 19 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.

Author : Ramachandran, Muthu,de Carvalho, Rog‚rio Atem
Publisher : IGI Global
Page : 556 pages
File Size : 41,5 Mb
Release : 2009-08-31
Category : Computers
ISBN : 9781605667324

Get Book

Handbook of Research on Software Engineering and Productivity Technologies: Implications of Globalization by Ramachandran, Muthu,de Carvalho, Rog‚rio Atem Pdf

"This book provides integrated chapters on software engineering and enterprise systems focusing on parts integrating requirements engineering, software engineering, process and frameworks, productivity technologies, and enterprise systems"--Provided by publisher.

Author : Anonim
Publisher : Unknown
Page : 608 pages
File Size : 44,8 Mb
Release : 2006
Category : Computer software
ISBN : UOM:39015058769541

Get Book

SOFSEM ... by Anonim Pdf

Author : Renata Guizzardi,Jolita Ralyté,Xavier Franch
Publisher : Springer Nature
Page : 836 pages
File Size : 49,9 Mb
Release : 2022-05-13
Category : Computers
ISBN : 9783031057601

Get Book

Research Challenges in Information Science by Renata Guizzardi,Jolita Ralyté,Xavier Franch Pdf

This book constitutes the proceedings of the 16th International Conference on Research Challenges in Information Sciences, RCIS 2022, which took place in Barcelona, Spain, during May 17–20, 2022. It focused on the special theme "Ethics and Trustworthiness in Information Science". The scope of RCIS is summarized by the thematic areas of information systems and their engineering; user-oriented approaches; data and information management; business process management; domain-specific information systems engineering; data science; information infrastructures, and reflective research and practice. The 35 full papers presented in this volume were carefully reviewed and selected from a total 100 submissions. The 18 Forum papers are based on 11 Forum submissions, from which 5 were selected, and the remaining 13 were transferred from the regular submissions. The 6 Doctoral Consortium papers were selected from 10 submissions to the consortium. The contributions were organized in topical sections named: Data Science and Data Management; Information Search and Analysis; Business Process Management; Business Process Mining; Digital Transformation and Smart Life; Conceptual Modelling and Ontologies; Requirements Engineering; Model-Driven Engineering; Machine Learning Applications. In addition, two-page summaries of the tutorials can be found in the back matter.

Author : Dominique Méry,Stephan Merz
Publisher : Springer
Page : 337 pages
File Size : 50,9 Mb
Release : 2010-10-01
Category : Computers
ISBN : 9783642162657

Get Book

Integrated Formal Methods by Dominique Méry,Stephan Merz Pdf

Annotation. This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

Author : Dickson K.W. Chiu,Ladjel Bellatreche,Hideyasu Sasaki,Ho-fung Leung,Shing-Chi Cheung,Haiyang Hu,Jie Shao
Publisher : Springer
Page : 506 pages
File Size : 44,6 Mb
Release : 2011-09-18
Category : Computers
ISBN : 9783642243967

Get Book

Web Information Systems Engineering - WISE 2010 Workshops by Dickson K.W. Chiu,Ladjel Bellatreche,Hideyasu Sasaki,Ho-fung Leung,Shing-Chi Cheung,Haiyang Hu,Jie Shao Pdf

This book contains the carefully selected and reviewed papers presented at three satellite events that were held in conjunction with the 11th International Conference on Web Information Systems Engineering, WISE 2010, in Hong Kong, China, in December 2010. The collection comprises a total of 40 contributions that originate from the First International Symposium on Web Intelligent Systems and Services (WISS 2010), from the First International Workshop on Cloud Information Systems Engineering (CISE 2010) and from the Second International Workshop on Mobile Business Collaboration (MBC 2010). The papers address a wide range of hot topics and are organized in topical sections on: decision and e-markets; rules and XML; web service intelligence; semantics and services; analyzing web resources; engineering web systems; intelligent web applications; web communities and personalization; cloud information system engineering; mobile business collaboration.

Author : Aaron Dutle,Mariano M. Moscato,Laura Titolo,César A. Muñoz,Ivan Perez
Publisher : Springer Nature
Page : 402 pages
File Size : 44,6 Mb
Release : 2021-05-19
Category : Computers
ISBN : 9783030763848

Get Book

NASA Formal Methods by Aaron Dutle,Mariano M. Moscato,Laura Titolo,César A. Muñoz,Ivan Perez Pdf

This book constitutes the proceedings of the 13th International Symposium on NASA Formal Methods, NFM 2021, held virtually in May 2021. The 21 full and 3 short papers presented in this volume were carefully reviewed and selected from 66 submissions. The papers aim to identify challenges and provide solutions to achieve assurance in mission-critical and safety-critical systems. Examples of such systems include advanced separation assurance algorithms for aircraft, next-generation air transportation, autonomous rendezvous and docking of spacecraft, on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robots, and systems for fault detection, diagnosis, and prognostics.

Author : Osvaldo Gervasi,Beniamino Murgante,Sanjay Misra,Chiara Garau,Ivan Blečić,David Taniar,Bernady O. Apduhan,Ana Maria A. C. Rocha,Eufemia Tarantino,Carmelo Maria Torre
Publisher : Springer Nature
Page : 749 pages
File Size : 44,7 Mb
Release : 2021-09-10
Category : Computers
ISBN : 9783030869700

Get Book

Computational Science and Its Applications – ICCSA 2021 by Osvaldo Gervasi,Beniamino Murgante,Sanjay Misra,Chiara Garau,Ivan Blečić,David Taniar,Bernady O. Apduhan,Ana Maria A. C. Rocha,Eufemia Tarantino,Carmelo Maria Torre Pdf

​The ten-volume set LNCS 12949 – 12958 constitutes the proceedings of the 21st International Conference on Computational Science and Its Applications, ICCSA 2021, which was held in Cagliari, Italy, during September 13 – 16, 2021. The event was organized in a hybrid mode due to the Covid-19 pandemic.The 466 full and 18 short papers presented in these proceedings were carefully reviewed and selected from 1588 submissions. The books cover such topics as multicore architectures, mobile and wireless security, sensor networks, open source software, collaborative and social computing systems and tools, cryptography, human computer interaction, software design engineering, and others. Part III of the set icludes papers on Information Systems and Technologies and the proceeding of the following workshops: International Workshop on Automatic landform classification: spatial methods and applications (ALCSMA 2021); International Workshop on Application of Numerical Analysis to Imaging Science (ANAIS 2021); International Workshop on Advances in information Systems and Technologies for Emergency management, risk assessment and mitigationbased on the Resilience concepts (ASTER 2021); International Workshop on Advances in Web Based Learning (AWBL 2021).

Author : Silvia Bonfanti
Publisher : Springer Nature
Page : 404 pages
File Size : 46,9 Mb
Release : 2024-06-29
Category : Electronic
ISBN : 9783031637902

Get Book

Rigorous State-Based Methods by Silvia Bonfanti Pdf

Author : Terry Halpin,John Krogstie,Selmin Nurcan,Erik Proper,Rainer Schmidt,Pnina Soffer,Roland Ukor
Publisher : Springer Science & Business Media
Page : 435 pages
File Size : 51,7 Mb
Release : 2009-04-30
Category : Business & Economics
ISBN : 9783642018626

Get Book

Enterprise, Business-Process and Information Systems Modeling by Terry Halpin,John Krogstie,Selmin Nurcan,Erik Proper,Rainer Schmidt,Pnina Soffer,Roland Ukor Pdf

This book contains the proceedings of two long-standing workshops: The 10th International Workshop on Business Process Modeling, Development and Support, BPMDS 2009, and the 14th International Conference on Exploring Modeling Methods for Systems Analysis and Design, EMMSAD 2009, held in connection with CAiSE 2009 in Amsterdam, The Netherlands, in June 2009. The 17 papers accepted for BPMDS 2009 were carefully reviewed and selected from 32 submissions. The topics addressed by the BPMDS workshop are business and goal-related drivers; model-driven process change; technological drivers and IT services; technological drivers and process mining; and compliance and awareness. Following an extensive review process, 16 papers out of 36 submissions were accepted for EMMSAD 2009. These papers cover the following topics: use of ontologies; UML and MDA; ORM and rule-oriented modeling; goal-oriented modeling; alignment and understandability; enterprise modeling; and patterns and anti-patterns in enterprise modeling.