Modelling processes using a stepwise refinement technique

1994 ◽  
pp. 40-58 ◽  
Author(s):  
Jin Sa ◽  
Brian C. Warboys
Keyword(s):  
Stepwise Refinement

Flowcharting by stepwise refinement

1978 ◽  
Vol 13 (1) ◽  
pp. 34-42 ◽  
Author(s):  
O. Ferstl
Keyword(s):  
Stepwise Refinement

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

2018 ◽  
pp. 31-49 ◽  
Author(s):  
Teng Zhang ◽  
John Wiegley ◽  
Theophilos Giannakopoulos ◽  
Gregory Eakman ◽  
Clément Pit-Claudel ◽  
...  
Keyword(s):  
Stepwise Refinement

scholarly journals A method for stepwise refinement and abstraction of Petri nets

1983 ◽  
Vol 27 (1) ◽  
pp. 51-76 ◽  
Author(s):  
Ichiro Suzuki ◽  
Tadao Murata
Keyword(s):  
Petri Nets ◽  
Stepwise Refinement

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

2014 ◽  
pp. 40-57 ◽  
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
Sign in / Sign up

Export Citation Format

Share Document