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

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

Stepwise refinement process with modularity

Proceedings of the 11th international conference on Software engineering - ICSE '89 ◽

10.1145/74587.74611 ◽

1989 ◽

Cited By ~ 2

Author(s):

Ataru T. Nakagawa ◽

Kokichi Futatsugi

Keyword(s):

Stepwise Refinement ◽

Refinement Process

Download Full-text

Stepwise Refinement Process With Modularity: An Algebraic Approach

11th International Conference on Software Engineering ◽

10.1109/icse.1989.714417 ◽

2005 ◽

Cited By ~ 3

Author(s):

A.T. Nakagawa ◽

K. Futatsugi

Keyword(s):

Algebraic Approach ◽

Stepwise Refinement ◽

Refinement Process

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

On Modelling Cooperative Retrieval Using an Ontology-Based Query Refinement Process

Lecture Notes in Computer Science - Conceptual Modeling – ER 2004 ◽

10.1007/978-3-540-30464-7_34 ◽

2004 ◽

pp. 434-449 ◽

Cited By ~ 1

Author(s):

Nenad Stojanovic ◽

Ljiljana Stojanovic

Keyword(s):

Query Refinement ◽

Refinement Process

Download Full-text

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

Improving the macro-basis function using insertion method and iterative refinement process for planar structure with one-dimensional wave propagation

IET Microwaves Antennas & Propagation ◽

10.1049/iet-map.2008.0368 ◽

2010 ◽

Vol 4 (6) ◽

pp. 760

Author(s):

I. Ang ◽

B.L. Ooi ◽

M.S. Leong

Keyword(s):

Wave Propagation ◽

Basis Function ◽

Iterative Refinement ◽

Planar Structure ◽

One Dimensional ◽

Insertion Method ◽

Refinement Process ◽

Dimensional Wave

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

A refinement process for top-down mixed-signal designs thanks to SystemC-AMS

2011 IEEE 9th International New Circuits and systems conference ◽

10.1109/newcas.2011.5981249 ◽

2011 ◽

Cited By ~ 1

Author(s):

Franck Paugnat ◽

Katell Morin-Allory ◽

Laurent Fesquet

Keyword(s):

Top Down ◽

Mixed Signal ◽

Refinement Process

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