Journal article icon

Journal article

Combining the box structure development method and CSP for software development

Abstract:

In this paper, we combine the Box Structure Development Method (BSDM) [H.D. Mills, R.C. Linger, and A.R. Hevner. Principles of Information Systems Analysis and Design. Academic Press, 1986, S.J. Prowell, C.J. Trammell, R.C. Linger, and J.H. Poore. Cleanroom Software Engineering - Technology and Process. Addison-Wesley, 1998] and CSP [C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985, A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998], integrating ...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
10.1016/j.entcs.2005.04.008

Authors


More by this author
Institution:
University of Oxford
Department:
Mathematical,Physical & Life Sciences Division - Computer Science,Department of
Guy H. Broadfoot More by this author
Verum Consultants More from this funder
Publisher:
Elsevier Publisher's website
Journal:
Electronic Notes in Theoretical Computer Science Journal website
Volume:
128
Issue:
6
Pages:
127–144
Publication date:
2005-05-05
DOI:
ISSN:
1571-0661
URN:
uuid:b660ed1d-3037-49f9-b37b-45d7d33ddf50
Local pid:
ora:10478

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP