Programming-in-the-Large Versus Programming-in-the-Small

Authors:
F. DeRemer;H. H. Kron
Affiliations:
Board of Studies in Information Sciences, University of California;-
Venue:
IEEE Transactions on Software Engineering
Year:
1976

Citing 0
Cited 40

Version control in the Inscape environment

ICSE '87 Proceedings of the 9th international conference on Software Engineering
Interface control and incremental development in the PIC environment

ICSE '85 Proceedings of the 8th international conference on Software engineering
Nesting in an Object-Oriented Language is NOT for the Birds

ECOOP '88 Proceedings of the European Conference on Object-Oriented Programming
Describing and Communicating Software Architecture in Practice: Observations on Stakeholders and Rationale

CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Component-Based Programming of Distributed Applications

Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Architecture-Level Support for Software Component Deployment in Resource Constrained Environments

CD '02 Proceedings of the IFIP/ACM Working Conference on Component Deployment
Architectural Reflection: Realising Software Architectures via Reflective Activities

EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Applications = Components + GLoo

Electronic Notes in Theoretical Computer Science (ENTCS)
Capability Based Tagged Architectures

IEEE Transactions on Computers
The design of PLAIN: support for systematic programming

AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Adaptable architectural middleware for programming-in-the-small-and-many

Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
Abstract design and program translator: new tools for software design

IBM Systems Journal
Abstract design and program translator: new tools for software design

IBM Systems Journal
Think global, act local: implementing model management with domain-specific integration languages

MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
ORBIT: an environment for component-based heterogeneous design and analysis

ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Using automatable proof obligations for component-based design checking

ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Modeling and reasoning about service-oriented applications via goals and commitments

CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Digital democracy: creating an online democracy education simulation in a software engineering class

Proceedings of the 48th Annual Southeast Regional Conference
An environment for DSP system development with extended abstract types, and dimensional design (PADDE)

ICASSP'93 Proceedings of the 1993 IEEE international conference on Acoustics, speech, and signal processing: plenary, special, audio, underwater acoustics, VLSI, neural networks - Volume I
Extended discretionary access controls

SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Software services: scientific challenge or industrial hype?

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Conceptual schema-centric development: a grand challenge for information systems research

CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Modeling in the large and modeling in the small

MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Evaluation of technical measures for workflow similarity based on a pilot study

ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
A lambda calculus with forms

SC'05 Proceedings of the 4th international conference on Software Composition
GLoo: a framework for modeling and reasoning about component-oriented language abstractions

CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Toward modular verifiable exception handling

Computer Languages
A practical approach to specification technology selection

Journal of Systems and Software
The external structure: Experience with an automated module interconnection language

Journal of Systems and Software
The GANDALF project

Journal of Systems and Software
Abstraction hierarchies in top-down design

Journal of Systems and Software
Embedded system design with ada as the system design language

Journal of Systems and Software
Designing-in-the-Large: combining local perspectives to generate enterprise-wide integration solutions

DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
Wendy: A Tool to Synthesize Partners for Services

Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
A Methodology for SIP and SOAP Integration Using Application-Specific Protocol Conversion

ACM Transactions on the Web (TWEB)
oZone: Layer identification in the presence of cyclic dependencies

Science of Computer Programming
Improving software modularization via automated analysis of latent topics and dependencies

ACM Transactions on Software Engineering and Methodology (TOSEM)
Fine-Grain Interoperability of Scientific Workflows in Distributed Computing Infrastructures

Journal of Grid Computing
Model-driven software engineering: concepts and tools for modeling-in-the-large with package diagrams

Computer Science - Research and Development
The impact of research on the development of middleware technology

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.01

Visualization

Abstract

We distinguish the activity of writing large programs from that of writing small ones. By large programs we mean systems consisting of many small programs (modules), usually written by different people.