Search Results - "formal specification"

1

Formal specification : techniques and applications Nimal Nissankke.

by Nissanke
Published 1999

2

An introduction to formal specification and Z Ben Potter, Jane Sinclair, David Till.

by Potter
Published 1996

3

Formal Specification Level Concepts, Methods, and Algorithms / by Mathias Soeken, Rolf Drechsler.

by Soeken, Mathias., Soeken, Mathias., Drechsler, Rolf.
Published 2015

Get full text

4

Formal specification and validation for pattern scanning Julaily Aida Jusoh.

by Julaily Aida Jusoh
Published 2009

5

Formalizing Data-Centric Web Services by Iman Saleh.

by Saleh, Iman., Saleh, Iman.
Published 2015

Get full text

6

Formal Methods and Software Engineering 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings / edited by Zhenhua...

Published 2017

Table of Contents: '; “...Veriﬁcation and validation -- Software engineering -- Formal speciﬁcation and modeling -- Software...”
Get full text

7

Formal Methods and Software Engineering 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings / edited by Kazuhir...

Published 2016

Table of Contents: '; “...Abstraction, refinement and evolution -- Formal specification and modeling -- Program analysis...”
Get full text

8

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed C...

Published 2013

Table of Contents: '; “...Distributed computing models -- Formal specification -- Testing -- Verification methods...”
Get full text

9

Formal Refinement for Operating System Kernels by Iain D. Craig.

by Craig, Iain D., Craig, Iain D.
Published 2007

Table of Contents: '; “....-Basic Architecture -- Extending the Architecture -- Summary -- An Overview of the Formal Specification...”
Get full text

10

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan.

by O’Regan, Gerard., O’Regan, Gerard.
Published 2013

Table of Contents: '; “... -- Formal Methods -- Z Formal Specification Language -- Number Theory -- Cryptography -- Coding Theory...”
Get full text

11

Intrusion Detection Systems edited by Roberto Di Pietro, Luigi V. Mancini.

Published 2008

Table of Contents: '; “...Approaches in Anomaly-based Network Intrusion Dete -- Formal Specification for Fast Automatic...”
Get full text

12

Communication Protocols Principles, Methods and Specifications / by Drago Hercog.

by Hercog, Drago., Hercog, Drago.
Published 2020

Get full text

13

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Sy...

Published 2016

Table of Contents: '; “...Formal Specification and Analysis of Robust Adaptive Distributed Cyber-Physical Systems...”
Get full text

14

Concise Guide to Software Engineering From Fundamentals to Application Methods / by Gerard O'Regan.

by O'Regan, Gerard., O'Regan, Gerard.
Published 2017

Table of Contents: '; “... and Dependability -- Formal Methods -- Z Formal Specification Language -- Unified Modeling Language -- Software...”
Get full text

15

Introduction to Software Quality by Gerard O’Regan.

by O’Regan, Gerard., O’Regan, Gerard.
Published 2014

Table of Contents: '; “... Tools -- Formal Methods -- Z Formal Specification Language -- Unified Modelling Language -- Epilogue....”
Get full text

16

Intelligent Agents in Data-intensive Computing edited by Joanna Kołodziej, Luís Correia, José Manuel Molina.

Published 2016

Table of Contents: '; “..., And Self-Organized Multiagent Systems for the Optimization of Decentralized Industrial Processes -- Formal...”
Get full text

17

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications / by Gerard O'Regan.

by O'Regan, Gerard., O'Regan, Gerard.
Published 2016

Table of Contents: '; “... Topics in Logic -- Software Engineering Mathematics -- Formal Methods -- Z Formal Specification Language...”
Get full text

18

Hagenberg Business Process Modelling Method by Felix Kossak, Christa Illibauer, Verena Geist, Christine Natschläger, Thomas Ziebermayr, Bernhard Freudenthaler, Theodorich Kopetzky,...

by Kossak, Felix., Kossak, Felix., Illibauer, Christa., Geist, Verena., Natschläger, Christine., Ziebermayr, Thomas., Freudenthaler, Bernhard., Kopetzky, Theodorich., Schewe, Klaus-Dieter.
Published 2016

Table of Contents: '; “... Model Integration -- 7 Formal Specification of the eP 2 Architecture -- 8 Summary and Outlook -- A List...”
Get full text

19

Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications / by Gerard O'Regan.

by O'Regan, Gerard., O'Regan, Gerard.
Published 2017

Table of Contents: '; “... -- Advanced Topics in Logic -- Z Formal Specification Language -- Vienna Development Method -- Irish School...”
Get full text

20

Mathematics in Computing An Accessible Guide to Historical, Foundational and Application Contexts / by Gerard O’Regan.

by O’Regan, Gerard., O’Regan, Gerard.
Published 2020

Table of Contents: '; “... Mathematics -- Software Reliability and Dependability -- Overview of Formal Methods -- Z Formal Specification...”
Get full text

Narrow Search