Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement

Dependable Software Engineering. Theories, Tools, and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99933-3_3 ◽

2018 ◽

pp. 31-49 ◽

Cited By ~ 2

Author(s):

Teng Zhang ◽

John Wiegley ◽

Theophilos Giannakopoulos ◽

Gregory Eakman ◽

Clément Pit-Claudel ◽

...

Keyword(s):

Stepwise Refinement

Download Full-text

Flowcharting by stepwise refinement

ACM SIGPLAN Notices ◽

10.1145/953428.953432 ◽

1978 ◽

Vol 13 (1) ◽

pp. 34-42 ◽

Cited By ~ 8

Author(s):

O. Ferstl

Keyword(s):

Stepwise Refinement

Download Full-text

An introduction to refinement metrics: assessing a programming language's support of the stepwise refinement process

Proceedings of the 1990 ACM annual conference on Cooperation - CSC '90 ◽

10.1145/100348.100361 ◽

1990 ◽

Cited By ~ 2

Author(s):

Robert G. Reynolds ◽

Jonathan I. Maletic

Keyword(s):

Stepwise Refinement ◽

Refinement Process

Download Full-text

A method for stepwise refinement and abstraction of Petri nets

Journal of Computer and System Sciences ◽

10.1016/0022-0000(83)90029-6 ◽

1983 ◽

Vol 27 (1) ◽

pp. 51-76 ◽

Cited By ~ 203

Author(s):

Ichiro Suzuki ◽

Tadao Murata

Keyword(s):

Petri Nets ◽

Stepwise Refinement

Download Full-text

The partial metrics system: modeling the stepwise refinement process using partial metrics

Communications of the ACM ◽

10.1145/32206.32211 ◽

1987 ◽

Vol 30 (11) ◽

pp. 956-963 ◽

Cited By ~ 11

Author(s):

Robert G. Reynolds

Keyword(s):

System Modeling ◽

Stepwise Refinement ◽

Refinement Process ◽

Partial Metrics

Download Full-text

A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants

Engineering Multi-Agent Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14484-9_3 ◽

2014 ◽

pp. 40-57 ◽

Cited By ~ 7

Author(s):

Zeineb Graja ◽

Frédéric Migeon ◽

Christine Maurel ◽

Marie-Pierre Gleizes ◽

Ahmed Hadj Kacem

Keyword(s):

Multi Agent Systems ◽

Stepwise Refinement ◽

Agent Systems ◽

Multi Agent ◽

Self Organizing

Download Full-text

Formalization of Incremental Simplex Algorithm by Stepwise Refinement

FM 2012: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32759-9_35 ◽

2012 ◽

pp. 434-449 ◽

Cited By ~ 6

Author(s):

Mirko Spasić ◽

Filip Marić

Keyword(s):

Simplex Algorithm ◽

Stepwise Refinement

Download Full-text

Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach

Applications and Theory of Petri Nets 2003 - Lecture Notes in Computer Science ◽

10.1007/3-540-44919-1_22 ◽

2003 ◽

pp. 337-356 ◽

Cited By ~ 46

Author(s):

Kees van Hee ◽

Natalia Sidorova ◽

Marc Voorhoeve

Keyword(s):

Stepwise Refinement ◽

Workflow Nets

Download Full-text

Experiments with program parallelization using archetypes and stepwise refinement

Lecture Notes in Computer Science - Parallel and Distributed Processing ◽

10.1007/3-540-64359-1_747 ◽

1998 ◽

pp. 844-856 ◽

Cited By ~ 3

Author(s):

Berna L. Massingill

Keyword(s):

Stepwise Refinement ◽

Program Parallelization

Download Full-text

Stepwise Refinement of Software Development Problem Analysis

Conceptual Modeling - Lecture Notes in Computer Science ◽

10.1007/978-3-319-46397-1_37 ◽

2016 ◽

pp. 488-495

Author(s):

Tsutomu Kobayashi ◽

Fuyuki Ishikawa ◽

Shinichi Honiden

Keyword(s):

Software Development ◽

Problem Analysis ◽

Stepwise Refinement ◽

Development Problem

Download Full-text

Stepwise Refinement of Processes

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.05.028 ◽

2006 ◽

Vol 160 ◽

pp. 275-289

Author(s):

Steve Reeves ◽

David Streader

Keyword(s):

Stepwise Refinement

Download Full-text