Formalism Intuition in Software DevelopmentFormalism Intuition in Software Development



A conversation with Michael A. Jackson conducted by Edgar G. Daylight and Bas van Vlijmen on March 8th, 2013 in Amsterdam, the Netherlands, and by Edgar G. Daylight on July 22nd, 2013 in London, England. Edited by Kurt De Grave.

Author: Michael A. Jackson

Publisher:

ISBN: 9491386050

Category:

Page: 104

View: 679

A conversation with Michael A. Jackson conducted by Edgar G. Daylight and Bas van Vlijmen on March 8th, 2013 in Amsterdam, the Netherlands, and by Edgar G. Daylight on July 22nd, 2013 in London, England. Edited by Kurt De Grave.

Perspectives on the Future of Software EngineeringPerspectives on the Future of Software Engineering



... which teaches us to see is intuition. Without it the geometer would be like a writer who should be versed in grammar but had no ideas. Poincaré is speaking of mathematics, but what he says applies no less to software engineering.

Author: Jürgen Münch

Publisher: Springer Science & Business Media

ISBN: 9783642373954

Category:

Page: 366

View: 548

The dependence on quality software in all areas of life is what makes software engineering a key discipline for today’s society. Thus, over the last few decades it has been increasingly recognized that it is particularly important to demonstrate the value of software engineering methods in real-world environments, a task which is the focus of empirical software engineering. One of the leading protagonists of this discipline worldwide is Prof. Dr. Dr. h.c. Dieter Rombach, who dedicated his entire career to empirical software engineering. For his many important contributions to the field he has received numerous awards and recognitions, including the U.S. National Science Foundation’s Presidential Young Investigator Award and the Cross of the Order of Merit of the Federal Republic of Germany. He is a Fellow of both the ACM and the IEEE Computer Society. This book, published in honor of his 60th birthday, is dedicated to Dieter Rombach and his contributions to software engineering in general, as well as to empirical software engineering in particular. This book presents invited contributions from a number of the most internationally renowned software engineering researchers like Victor Basili, Barry Boehm, Manfred Broy, Carlo Ghezzi, Michael Jackson, Leon Osterweil, and, of course, by Dieter Rombach himself. Several key experts from the Fraunhofer IESE, the institute founded and led by Dieter Rombach, also contributed to the book. The contributions summarize some of the most important trends in software engineering today and outline a vision for the future of the field. The book is structured into three main parts. The first part focuses on the classical foundations of software engineering, such as notations, architecture, and processes, while the second addresses empirical software engineering in particular as the core field of Dieter Rombach’s contributions. Finally, the third part discusses a broad vision for the future of software engineering.

Formal Methods and Software EngineeringFormal Methods and Software Engineering



5 Conclusions and Further Research The primary goal of this paper (presented in more detail in [5]) is to illustrate a simple, intuitive formalism that captures the semantics of micro-time statechart transitions and macro-time ...

Author: Chris George

Publisher: Springer

ISBN: 9783540361039

Category:

Page: 636

View: 633

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.

From Software Engineering to Formal Methods and Tools and BackFrom Software Engineering to Formal Methods and Tools and Back



Bigraphs [19] are an emerging formalism for structures in ubiquitous computing, dealing with both containment and linking among entities and thus fit our intuition of modelling the topology of a cyber-physical environment.

Author: Maurice H. ter Beek

Publisher: Springer Nature

ISBN: 9783030309855

Category:

Page: 574

View: 296

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.

Dependable Software Systems EngineeringDependable Software Systems Engineering



Mathematical advances are powered by informal intuition and invention; and our everyday language embodies many formal concepts ... In system development, formalism should take its place when the preformal work of exploration, invention, ...

Author: M. Irlbeck

Publisher: IOS Press

ISBN: 9781614994954

Category:

Page: 320

View: 778

We are all increasingly dependent on software systems to run the technology we use every day, so we need these systems to be both reliable and safe. This book presents papers from the NATO Advanced Study Institute Summer School Dependable Software Systems Engineering, held in Marktoberdorf, Germany, in July and August 2014. Lecturers were drawn from prestigious research groups representing both industry and academia, and the course was designed as an in-depth presentation and teaching of state-of-the-art scientific techniques and methods covering research and industrial practice as well as scientific principles. Topics covered included: syntax-guided synthesis; system behaviors and problem frames; dependable human-intensive systems; automatic alias analysis and frame inference; fault-based testing; and mechanized unifying theories of programming. Marktoberdorf is one of the most renowned international computer science summer schools, and this book, with its detailed overview of current research results and the discussion and development of new ideas will be of interest to all those whose work involves the engineering of dependable software systems.

Software Engineering and Formal MethodsSoftware Engineering and Formal Methods



Our research relates to Petri net based formalisms, and to the behavioural specification of software product lines. ... application of deltas instead of a symmetric composition operation, guided by the intuition that larger systems are ...

Author: Gilles Barthe

Publisher: Springer

ISBN: 9783642246906

Category:

Page: 504

View: 528

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefully reviewed and selected from 105 initial abstracts and 85 full submissions. Besides the regular session the conference held a special track devoted to "Modeling for Sustainable Development" with 5 accepted papers - selected from 7 submissions - that are also part of this volume. The aim of SEFM is to advance the state of the art in formal methods, to scale up their application in software industry and to encourage their integration with practical engineering methods.

Engineering of SoftwareEngineering of Software



In the application software domain there is a growing understanding of which modelling tools and formalisms best ... Models expressed in a formalism with a weak semantic base may convey an intuitive impression, but they usually cannot ...

Author: Peri L. Tarr

Publisher: Springer Science & Business Media

ISBN: 9783642198236

Category:

Page: 417

View: 107

Software engineering research can trace its roots to a few highly influential individuals. Among that select group is Leon J. Osterweil, who has been a major force in driving software engineering from its infancy to its modern reality. For more than three decades, Prof. Osterweil's work has fundamentally defined or significantly impacted major directions in software analysis, development tools and environments, and software process--all critical parts of software engineering as it is practiced today. His exceptional contributions to the field have been recognized with numerous awards and honors through his career, including the ACM SIGSOFT Outstanding Research Award, in recognition of his extensive and sustained research impact, and the ACM SIGSOFT Influential Educator Award, in recognition of his career-long achievements as an educator and mentor. In honor of Prof. Osterweil's profound accomplishments, this book was prepared for a special honorary event held during the 2011 International Conference on Software Engineering (ICSE). It contains some of his most important published works to date, together with several new articles written by leading authorities in the field, exploring the broad impact of his work in the past and how it will further impact software engineering research in the future. These papers, part of the core software engineering legacy and now available in one commented volume for the first time, are grouped into three sections: flow analysis for software dependability, the software lifecycle, and software process.

Formal Development of a Network Centric RTOSFormal Development of a Network Centric RTOS



Software Engineering for Reliable Embedded Systems Eric Verhulst, Raymond T. Boute, José Miguel Sampaio Faria, Bernhard H.C. Sputh, ... Here, we use a generic formalism that is designed orthogonally and can be covered in a few pages.

Author: Eric Verhulst

Publisher: Springer Science & Business Media

ISBN: 1441997369

Category:

Page: 219

View: 780

Many systems, devices and appliances used routinely in everyday life, ranging from cell phones to cars, contain significant amounts of software that is not directly visible to the user and is therefore called "embedded". For coordinating the various software components and allowing them to communicate with each other, support software is needed, called an operating system (OS). Because embedded software must function in real time (RT), a RTOS is needed. This book describes a formally developed, network-centric Real-Time Operating System, OpenComRTOS. One of the first in its kind, OpenComRTOS was originally developed to verify the usefulness of formal methods in the context of embedded software engineering. Using the formal methods described in this book produces results that are more reliable while delivering higher performance. The result is a unique real-time concurrent programming system that supports heterogeneous systems with just 5 Kbytes/node. It is compatible with safety related engineering standards, such as IEC61508.

Formal Methods and Software EngineeringFormal Methods and Software Engineering



15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings Lindsay ... WFNs combine an intuitive graphical formalism with a mathematical sound foundation.

Author: Lindsay Groves

Publisher: Springer

ISBN: 9783642412028

Category:

Page: 466

View: 553

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

Recent Trends in Algebraic Development TechniquesRecent Trends in Algebraic Development Techniques



Moreover , since our aim is to have a notion of formalism including both specification and programming languages , the expression we consider are not just boolean sentences , but are classified by their types .

Author: Francesco Parisi-Presicce

Publisher: Springer Science & Business Media

ISBN: 3540642994

Category:

Page: 433

View: 761

Spine title: WADT '97.

Theoretical Aspects of Computing ICTAC 2004Theoretical Aspects of Computing ICTAC 2004



even say, replacement for) intuitive reasoning, especially when exploring new grounds where intuition is (still) clueless. ... formalisms and illustrates their applications to formal reasoning in various aspects of software engineering.

Author: Zhiming Liu

Publisher: Springer

ISBN: 9783540318620

Category:

Page: 566

View: 406

This book constitutes the thoroughly refereed postproceedings of the First International Colloquium on Theoretical Aspects of Computing, ICTAC 2004. The 34 revised full papers presented together with 4 invited contributions were carefully selected from 111 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on concurrent and distributed systems, model integration and theory unification, program reasoning and testing, verification, theories of programming and programming languages, real-time and co-design, and automata theory and logics.

Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT Berlin March 25 29 1985Formal Methods and Software Development Proceedings of the International Joint Conference on Theory and Practice of Software Development TAPSOFT Berlin March 25 29 1985



Volume 2: Colloquium on Software Engineering (CSE) Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher. intuition . As an essential requirement for formal methods themselves , it follows that they must be suitable as aids to ...

Author: Hartmut Ehrig

Publisher: Springer

ISBN: 3540151990

Category:

Page: 459

View: 388

Formal Methods and Software EngineeringFormal Methods and Software Engineering



We reuse the intuition of this result and extend it to closed bounded L/U- PTAs. Theorem 4. If it can be computed, the solution to the EF-synthesis problem for closed bounded L/U-automata cannot be represented using any formalism for ...

Author: Kazuhiro Ogata

Publisher: Springer

ISBN: 9783319478463

Category:

Page: 486

View: 693

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.

Prospects for Hardware FoundationsProspects for Hardware Foundations



Functional Programming '98, Baltimore to appear . 4. M. Broy, G. S tef anescu: The algebra of stream processing functions. Institut fur Informatik, TU Munchen, Report TUM-I9620, 1996 5. R. Boute: A declarative formalism supporting ...

Author: Bernhard Möller

Publisher: Springer

ISBN: 9783540492542

Category:

Page: 470

View: 992

Preface VI I X Table of Contents B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 1-26, 1998. Springer-Verlag Berlin Heidelberg 1998 2 The NADA Group Introduction: NADA and NIL 3 4 The NADA Group Introduction: NADA and NIL 5 6 The NADA Group Introduction: NADA and NIL 7 8 The NADA Group Introduction: NADA and NIL 9 10 The NADA Group Introduction: NADA and NIL 11 12 The NADA Group Introduction: NADA and NIL 13 14 The NADA Group Introduction: NADA and NIL 15 16 The NADA Group Introduction: NADA and NIL 17 18 The NADA Group Introduction: NADA and NIL 19 20 The NADA Group Introduction: NADA and NIL 21 22 The NADA Group Introduction: NADA and NIL 23 24 The NADA Group Introduction: NADA and NIL 25 26 The NADA Group Streams, Stream Transformers and Domain Representations B. Möller and J.V. Tucker (Eds.): Prospects for Hardware Foundations, LNCS 1546, pp. 27-68, 1998. Springer-Verlag Berlin Heidelberg 1998 28 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 29 30 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 31 32 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 33 34 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 35 36 J. Blanck, V. Stoltenberg-Hansen, and J.V. Tucker Streams, Stream Transformers and Domain Representations 37

Handbook of Software EngineeringHandbook of Software Engineering



The need for software reliability methods emerged when computer programming evolved from an expertise, ... is as follows: Modeling Formal methods are often applied to a representation of the system using a mathematical formalism.

Author: Sungdeok Cha

Publisher: Springer

ISBN: 9783030002626

Category:

Page: 524

View: 203

This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software processes, requirements engineering, software architecture, software testing, formal methods, software maintenance) as well as emerging areas (e.g., self-adaptive systems, software engineering in the cloud, coordination technology). Each chapter includes an introduction to central concepts and principles, a guided tour of seminal papers and key contributions, and promising future research directions. The authors of the individual chapters are all acknowledged experts in their field and include many who have pioneered the techniques and technologies discussed. Readers will find an authoritative and concise review of each subject, and will also learn how software engineering technologies have evolved and are likely to develop in the years to come. This book will be especially useful for researchers who are new to software engineering, and for practitioners seeking to enhance their skills and knowledge.

Software Engineering and Formal MethodsSoftware Engineering and Formal Methods



LIME translates the model description into the BlenX programming language for stochastic dynamical simulation [28]. ... useful to have a formalism that supports dynamic creation and destruction of components of a parallel composition.

Author: Carlos Canal

Publisher: Springer

ISBN: 9783319152011

Category:

Page: 405

View: 445

This book constitutes revised selected papers from the workshops collocated with the SEFM 2014 conference on Software Engineering and Formal Methods, held in Grenoble, France, in September 2014. The 26 papers included in this volume were carefully reviewed and selected from 49 submissions. They are from the following workshops: the 1st Workshop on Human-Oriented Formal Methods - From Readability to Automation, HOFM 2014, the 3rd International Symposium on Modelling and Knowledge Management Applications - Systems and Domains, MoKMaSD 2014, the 8th International Workshop on Foundations and Techniques for Open Source Software Certification, Open Cert 2014, the 1st Workshop on Safety and Formal Methods, SaFoMe 2014 and the 4th Workshop on Formal Methods in the Development of Software, WS-FMDS 2014.

Soft Computing in Software EngineeringSoft Computing in Software Engineering



Since designing is a human-intensive activity, the formalism must adopt designer's language as well. ... It has been shown that CW can capture the method developers' intuition and the software engineers' perception more appropriately ...

Author: Ernesto Damiani

Publisher: Springer

ISBN: 9783540444053

Category:

Page: 312

View: 934

Soft computing is playing an increasing role in the study of complex systems in science and engineering. There is a large spectrum of successful applications of soft computing in very different applications domains such as aerospace, communication, consumer appliances, electric power systems, process engineering, transportation, and manufacturing automation and robotics. It has taken a while to bring the early ideas of soft computing to an area and a discipline that seems to be more than appropriate for that. Here it is! This book studies SOFT computing in SOFTware engineering environment. The book is HARD in terms of its results. It covers a range of core topics from software engineering that are soft from its very nature: selection of components, software design, software reuse, software cost estimation and software processes. Soft computing differs from conventional (hard) computing in its ability to be tolerant of imprecision, uncertainty, partial truth, and approximation. The guiding principle of soft computing is: Exploit the tolerance for imprecision, uncertainty, partial truth, and approximation to achieve tractability, robustness and low solution cost. The role model for soft computing is the human mind. This seems to be a natural fit with software engineering, a human-based development activity based on sound engineering principles. A recent survey by researchers reveals that "Software Engineering research tends to be quite self-contained, not relying on other disciplines for its thinking".

Operational Semantics for Timed SystemsOperational Semantics for Timed Systems



Familiarity with the formalism is necessary; otherwise, it is not ensured that the interpretational conventions for ... These objective criteria can help the software engineer to partly replace the social processes ensuring quality in ...

Author: Heinrich Rust

Publisher: Springer Science & Business Media

ISBN: 9783540255765

Category:

Page: 223

View: 130

This monograph is dedicated to a novel approach for uniform modeling of timed and hybrid systems. The author introduces a time model that allows for both the description of discrete time steps and continuous processes with a discrete time model with infinitesimal step widths. The underlying mathematical structure of this time model is based on the concepts of non-standard analysis. The discrete modeling, i.e., the description of sequential discrete algorithms at different abstraction levels, is done using the abstract state machines formalism. The presentation is well balanced between theoretical elaboration and critical discussion of the applicability of the theoretical results by means of appropriate case studies. The new temporal semantics proposed helps theoreticians as well as practitioners in gaining a better understanding of time models and in building better notations, models, and tools for the formal treatment of systems where time matters.