Communicating sequential processes
Communicating sequential processes
Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
The AWK programming language
Facilitating Mixed Language Programming in Distrbuted Systems
IEEE Transactions on Software Engineering
An improved protocol reachability analysis technique
Software—Practice & Experience
An Insider's Evaluation of PAISLey
IEEE Transactions on Software Engineering
Reengineering of old systems to an object-oriented architecture
OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
OBSERV—a prototyping language and environment
ACM Transactions on Software Engineering and Methodology (TOSEM)
A transformational approach to generating application-specific environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Enhancing compositional reachability analysis with context constraints
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
The promise of multiparadigm languages as pedagogical tools
CSC '93 Proceedings of the 1993 ACM conference on Computer science
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Integrating Multiple Paradigms within the Blackboard Framework
IEEE Transactions on Software Engineering
Generation of multi-formalism state-space analysis tools
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Object-oriented cosynthesis of distributed embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Strong vs. weak approaches to systems development
Communications of the ACM
A model for multiparadigm systems
CSC '91 Proceedings of the 19th annual conference on Computer Science
The universe model: an approach for improving the modularity and reliability of concurrent programs
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Multiparadigm design of a simple relational database
ACM SIGPLAN Notices
The Model-Composition Problem in User-Interface Generation
Automated Software Engineering
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
TigerSwitch: a case study in embedded computing system design
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Resolving feature convolution in middleware systems
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Multilevel models in model-driven engineering, product lines, and metaprogramming
IBM Systems Journal - Model-driven software development
Programming in the MPL-RM programming language
Proceedings of the 43rd annual Southeast regional conference - Volume 2
iML: a logic-based framework for constructing graphical user interface on mobile agents
INAP'01 Proceedings of the Applications of prolog 14th international conference on Web knowledge management and decision support
Using event-driven lightweight DSC-based agents for MAS modelling
International Journal of Agent-Oriented Software Engineering
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
| Hi-index | 0.02 |
The author points out that although different aspects of a system require different approaches, programmers are confined to their language's one paradigm. Multiparadigm programming makes it possible to match the paradigm to the problem. The potential of paradigm composition as an approach to multiparadigm programming is explored. In paradigm composition, a multiparadigm program is written as a collection of single-paradigm programs. The single-paradigm programs are composed, which means that they execute concurrently and cooperatively to form the whole of a functioning system. Interactions between paradigms are defined at the conceptual levels of the participating paradigms. The case of a small prototype telephone network is considered as an example of paradigm composition.