Stepwise Refinement Process with Modularity: An Algebraic Approach

Abstract

Article Stepwise refinement process with modularity Share on Authors: Ataru T. Nakagawa Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPAN Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPANView Profile , Kokichi Futatsugi Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPAN Electrotechnical Laboratory, l-l-4 Umezono, Tsukuba Science City, Ibaraki 305, JAPANView Profile Authors Info & Claims ICSE '89: Proceedings of the 11th international conference on Software engineeringMay 1989 Pages 166–177https://doi.org/10.1145/74587.74611Online:15 May 1989Publication History 5citation316DownloadsMetricsTotal Citations5Total Downloads316Last 12 Months4Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access

BibTeX

@inproceedings{Nakagawa-Futatsugi:ICSE89,
  author    = {Ataru T. Nakagawa and
               Kokichi Futatsugi},
  title     = {Stepwise Refinement Process with Modularity: An Algebraic Approach},
  booktitle = {ICSE},
  pages     = {166--177},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1989},
}

Stepwise Refinement Process with Modularity: An Algebraic Approach

Abstract

Related papers