Science of Computer Programming

Science of Computer Programming

Methods of Software Design: Techniques and Applications





Editor-in-Chief:J.A. Bergstra





Go to Journal Website

Print Journal

Subscription Details

Estimated Delivery Time

In Stock

USD 1,556.00
Terms & Conditions

Additional Subscription Help


Aims & Scope

Science of Computer Programming is dedicated to the distribution of research results in the areas of software systems development, use and maintenance, including the software aspects of hardware design.
The journal has a wide scope ranging from the many facets of methodological foundations to the details of technical issues andthe aspects of industrial practice.

The subjects of interest to SCP cover the entire spectrum of methods for the entire life cycle of software systems, including
• Requirements, specification, design, validation, verification, coding, testing, maintenance, metrics and renovation of software;
• Design, implementation and evaluation of programming languages;
Programming environments, development tools, visualisation and animation;
• Management of the development process;
• Human factors in software.
• Software aspects of operating systems, system administration and network management.

Special emphasis is given to recent trends in software development, such as software architecture, component-based software development and web-based software engineering. SCP is divided into four tracks. These are: (1) Concepts and methodology, (2) Formal techniques, (3) Experimental software technology, (4) Descriptive software technology.
1) The conceptual track is open for methodological, philosophical and sociological studies on all aspects of computer software production and usage, including ethics.
2) The formal track emphasizes the development and the pragmatic application of formal and semiformal techniques. Submissions which the editors consider mainly mathematical or theoretical in nature, with the preliminary consent of the authors, will formally be forwarded to the sister journal TCS.
3) The experimental track is open for expositions on implementations of and experiments with novel programming languages, systems and methods. It must be emphasized that papers describing new software tools of relevance to SCP are welcome under the strict condition that the source code of the tools is open.
4) The descriptive track deals with observational studies of current software development practices, reporting on new languages,systems and methods, including survey reports on the various themes.

Special Issues:
Science of Computer Programming welcomes Special Issues within its Scope either resulting from conferences or workshops or from dedicated editorial efforts.


Professionals, researchers, educators and students in the areas covered by the journal

Sponsored Articles:
Science of Computer Programming offers authors or their institutions the option to sponsor non-subscriber access to their articl

Abstracting and Indexing

ACM Computing Reviews, Cambridge Scientific Abstracts, CompuScience, Computer Abstracts, Computer Literature Index, Current Contents/CompuMath, Current Contents/Engineering, Computing & Technology, Engineering Index, INSPEC Information Services, Mathematical Reviews, Research Alert, SCISEARCH, Scopus, Zentralblatt MATH
Editor-in-Chief J.A. Bergstra ISIS, Informatics Inst., Universiteit van Amsterdam, Science Park 904, 1098 XH Amsterdam, Netherlands, Editorial Assistant B. van Vlijmen Fac. of Science, Universiteit van Amsterdam, Kruislaan 403, 1098 SJ Amsterdam, Netherlands, Editorial Board D.M. Berry Dept. of Computer Science, University of Waterloo, 200 University Ave. West, Waterloo, ON N2L 3G1, Canada, G. Berry Institut National de Recherche en Informatique et en Automatique (INRIA), 2004 route des Lucioles, B.P.93, 06902 Sophia Antipolis, France, E. Bertino Dipart. di Scienze dell'Informazione, Università degli Studi di Milano, Bicocca - Piazza dell'Ateneo Nuovo 1, 20126 Milano, Italy, J. Bosch CTO, INTUIT, 26630 Ascension Drive, Los Altos Hills, CA 94022, USA, M.G.J. van den Brand Dept. of Mathematics & Computer Science, Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, Netherlands, M. Broy Inst. für Informatik, Technische Universität München, Boltzmannstr. 3, 85748 Garching bei München, Germany, M. Burgess Dept. of Computer Science, Fac. of Engineering, Oslo and Akershus University College of Applied Sciences, St. Olavs plass, P.O. Box 4, N-0130 Oslo, Norway, A. Cavalcanti Dept. of Computer Science, University of York, Deramore Lane, Heslington, York, YO10 5GH, UK, S-C. Cheung Dept. of Computer Science and Engineering, Hong Kong University of Science & Technology, Clearwater Bay, Kowloon, Hong Kong, O. de Moor Dept. of Computer Science, Computing Lab., University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK, M.C. Gaudel Lab. de Rech. en Informatique (LRI), Université Paris-Sud (Paris XI), 15 rue Georges Clemenceau, 91405 Orsay, France, C. Ghezzi Dipart. di Elettronica e Informazione, Politecnico di Milano, Piazza Leonardo Da Vinci, 32, 20133 Milano, Italy, W.H. Hesselink Dept. of Computing Science, Rijksuniversiteit Groningen, P.O. Box 407, 9700 AK Groningen, Netherlands, M. Jackson 101 Hamilton Terrace, London, NW8 9QX, UK, P.H.J. Kelly Dept. of Computing, Imperial College London, South Kensington Campus, 180 Queens Gate, London, SW7 2AZ, UK, P. Klint Centre for Mathematics and Computer Science (CWI), Kruislaan 413, 1098 SJ Amsterdam, Netherlands, F. Kordon Lab d'Informatique de Paris 6 (LIP 6) - CNRS UMR 7606, Université Pierre et Marie Curie, Sorbonne Universités, 4 place Jussieu, 75252 Paris Cedex 05, France, R. Koschke Arbeitsgruppe Softwaretechnik, Universität Bremen, FB03, Postfach 330440, D-28334 Bremen, Germany, M.Z. Kwiatkowska Dept. of Computer Science, Computing Lab., University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, UK, J. Lawall Université Pierre et Marie Curie, Sorbonne Universités, 4 place Jussieu, 75252 Paris, France, C. Lengauer Fakultät für Mathematik und Informatik, Universität Passau, Innstrasse 33, D-94032 Passau, Germany, P.A. Lindsay School of Information Technology and Electrical Engineering, University of Queensland, Level 7, GP South, Staff House Rd., Brisbane, QLD 4072, Australia, J. Lobo IBM Thomas J. Watson Research Center, 19 Skyline Drive, Hawthorne, NY 10532, USA, Luqi Dept. of Computer Science, Naval Postgraduate School, Monterey, CA 93943, USA, R. Lämmel Institut für Informatik, Universität Koblenz-Landau, Universitätsstraße 1, D-56070 Koblenz, Germany, C.A. Middelburg TCS, Informatics Inst., Universiteit van Amsterdam, Science Park 904, 1098 XH Amsterdam, Netherlands, P.D. Mosses Dept. of Computer Science, Swansea University, Singleton Park, Swansea, SA2 8PP, UK, P. Müller Dept. of Computer Science, Eidgenössische Technische Hochschule (ETH) Zürich, CH-8092 Zürich, Switzerland, B.G. Ryder Dept. of Computer Science, Virginia Polytechnic Institute and State University, McBryde Hall, Blacksburg, VA 24061, USA, B. Selic Malina Software Corp., 10 Blueridge Court, Nepean, Canada, J.V. Tucker Dept. of Computer Science, Swansea University, Singleton Park, Swansea, SA2 8PP, UK, S. Uchitel Dept. de Computacion, Universidad de Buenos Aires, Pab. 1, Ciuidad Universitaria, C1428EGA Buenos Aires, Argentina, P. Wegner Dept. of Computer Science, Brown University, 115 Waterman St., Box 1910, Providence, RI 02912, USA, Founding Editor M. Sintzoff Unité d'Informatique, Université Catholique de Louvain, Place Sainte-Barbe 2, 1348 Louvain-la-Neuve, Belgium, Former Editorial Board Members S. Barker Dept. of Informatics, King's College London, Strand, London, WC2R 2LS, UK, L.M.G. Feijs Dept. of Industrial Design, Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, Netherla
Shop with Confidence

Free Shipping around the world
▪ Broad range of products
▪ 30 days return policy

Contact Us

Author Services

Prepare your Article for submission
Translation Services
English Language Editing

Celebrate your publication success
Article Offprints, Journal Issues, Article/Cover Posters, Create Your Own Book

Additional Services
Mobile Apps,Special Content Offerings,and more...