ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close