Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Petri nets: an introduction
MULTILISP: a language for concurrent symbolic computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM - Special issue on parallelism
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
Process-translatable Petri Nets for the rapid prototyping of process control systems
IEEE Transactions on Software Engineering
Programming in Prolog (3rd ed.)
Programming in Prolog (3rd ed.)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Environments for prototyping parallel algorithms
Journal of Parallel and Distributed Computing
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
Programming languages for distributed computing systems
ACM Computing Surveys (CSUR)
The family of concurrent logic programming languages
ACM Computing Surveys (CSUR)
Prototyping a real-time embedded system in Smalltalk
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
ABCL: an object-oriented concurrent system
ABCL: an object-oriented concurrent system
Programming distributed systems
Programming distributed systems
Specification and transformation of programs: a formal approach to software development
Specification and transformation of programs: a formal approach to software development
Concurrent object-oriented programming
Communications of the ACM
SEPDS: a support environment for prototyping distributed systems
ISCI '90 Proceedings of the first international conference on systems integration on Systems integration '90
Strand: new concepts in parallel programming
Strand: new concepts in parallel programming
KIDS: A Semiautomatic Program Development System
IEEE Transactions on Software Engineering
Fundamentals of software engineering
Fundamentals of software engineering
Rapid application development
Parallel functional languages and compilers
Parallel functional languages and compilers
Proceedings of the 13th Occam user group technical meeting on Real-time systems with transputers
OUG-13 Proceedings of the 13th Occam user group technical meeting on Real-time systems with transputers
Concurrent programming: principles and practice
Concurrent programming: principles and practice
An environment for prototyping distributed applications
Computer Languages
PROTOB: an object-oriented CASE Tool for modelling and prototyping distributed systems
Software—Practice & Experience
Algorithmic skeletons: structured management of parallel computation
Algorithmic skeletons: structured management of parallel computation
Crystal: theory and pragmatics of generating efficient parallel code
Parallel functional languages and compilers
Coordination languages and their significance
Communications of the ACM
An introduction to parallel programming
An introduction to parallel programming
Partial orderings of event sets and their application to prototyping concurrent, timed systems
Journal of Systems and Software - Special issue on applying specification, verification, and validation techniques to industrial software systems
Transforming high-level data-parallel programs into vector operations
PPOPP '93 Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming
Rapid prototyping of protocols from LOTOS specifications
Software—Practice & Experience
Executable specifications with data-flow diagrams
Software—Practice & Experience
Systematic concurrent object-oriented programming
Communications of the ACM
Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
CC++: a declarative concurrent object-oriented programming notation
Research directions in concurrent object-oriented programming
A rapid prototyping system for distributed information system applications
Journal of Systems and Software
Implementation of a portable nested data-parallel language
Journal of Parallel and Distributed Computing - Special issue on data parallel algorithms and programming
Open heterogeneous computing in ActorSpace
Journal of Parallel and Distributed Computing - Special issue on heterogeneous processing
Elements of ML programming
Software—Practice & Experience
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Object-oriented rapid prototyping
Object-oriented rapid prototyping
Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice
IEEE Transactions on Software Engineering
Compiler transformations for high-performance computing
ACM Computing Surveys (CSUR)
The essential CORBA: systems integration using distributed objects
The essential CORBA: systems integration using distributed objects
Programming parallel algorithms
Communications of the ACM
A message passing standard for MPP and workstations
Communications of the ACM
Linguistic paradigms for programming complex distributed systems
ACM Computing Surveys (CSUR)
Coordination models and languages as software integrators
ACM Computing Surveys (CSUR)
Object-orientation and prototyping in software engineering
Object-orientation and prototyping in software engineering
A fast prototype tool for parallel reactive systems
Journal of Systems Architecture: the EUROMICRO Journal
A graphical toolset for simulation modelling of parallel systems
Parallel Computing - Special issue: distributed and parallel systems: environments and tools
Workshop on software engineering for parallel and distributed systems
ICSE '97 Proceedings of the 19th international conference on Software engineering
Parallel computation still not ready for the mainstream
Communications of the ACM
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Java programming with CORBA (2nd ed.)
Java programming with CORBA (2nd ed.)
The international symposium on software engineering for parallel and distributed systems PDSE '99
Proceedings of the 21st international conference on Software engineering
The ProSet-Linda approach to prototyping parallel systems
Journal of Systems and Software
Art of Rapid Prototyping: User Interface Design for Windows and OS/2
Art of Rapid Prototyping: User Interface Design for Windows and OS/2
Learning Abstract Algebra with ISETL
Learning Abstract Algebra with ISETL
Prototyping: An Approach to Evolutionary System Development
Prototyping: An Approach to Evolutionary System Development
Prototyping-Oriented Software Development: Concepts and Tools
Prototyping-Oriented Software Development: Concepts and Tools
Approaches to Prototyping
The Enterprise Model for Developing Distributed Applications
IEEE Parallel & Distributed Technology: Systems & Technology
Object-Based Modeling of Parallel Programs
IEEE Parallel & Distributed Technology: Systems & Technology
Data-Parallel Programming on Multicomputers
IEEE Software
Visualizing the Performance of Parallel Programs
IEEE Software
Parallelism in Object-Oriented Languages: A Survey
IEEE Software
Rapid Prototyping: Lessons Learned
IEEE Software
Rapid Prototyping for Distributed Virtual Environments
IEEE Software
Development of Veda, a Prototyping Tool for Distributed Algorithms
IEEE Transactions on Software Engineering
Using Transformations in Specification-Based Prototyping
IEEE Transactions on Software Engineering
A Refinement Methodology for Developing Data-Parallel Applications
Euro-Par '96 Proceedings of the Second International Euro-Par Conference on Parallel Processing - Volume I
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Prototyping of parallel and distributed object-oriented systems: the PDC model and its environment
HICSS '95 Proceedings of the 28th Hawaii International Conference on System Sciences
A Performance Prototyping Approach to Designing Concurrent Software Architectures
PDSE '97 Proceedings of the 2nd International Workshop on Software Engineering for Parallel and Distributed Systems
Tool Supported Specification and Simulation of Distributed Systems
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
The refinement of high-level parallel algorithm specifications
PMMP '95 Proceedings of the conference on Programming Models for Massively Parallel Computers
Automatic transition from rapid prototyping to target code for distributed systems
CASE '95 Proceedings of the Seventh International Workshop on Computer-Aided Software Engineering
A Software Toolkit for Prototyping Distributed Applications (Preliminary Report)
A Software Toolkit for Prototyping Distributed Applications (Preliminary Report)
Prototyping and formal analysis of concurrent and distributed systems
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Structured Analysis and System Specification
Structured Analysis and System Specification
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Distributed prototyping from validated specifications
Journal of Systems and Software - Special issue: Rapid system prototyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
A comparative study of parallelization paradigms
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Formal Model--Driven Design of Distributed Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
JCoBox: generalizing active objects to concurrent components
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
A survey of algorithmic skeleton frameworks: high-level structured parallel programming enablers
Software—Practice & Experience - Focus on Selected PhD Literature Reviews in the Practical Aspects of Software Technology
Hi-index | 0.00 |
Concurrent programming is conceptually harder to undertake and to understand than sequential programming, because a programmer has to manage the coexistence and coordination of multiple concurrent activities. To alleviate this task several high-level approaches to concurrent programming have been developed. For some high-level programming approaches, prototyping for facilitating early evaluation of new ideas is a central goal.Prototyping is used to explore the essential features of a proposed system through practical experimentation before its actual implementation to make the correct design choices early in the process of software development. Approaches to prototyping concurrent applications with very high-level programming systems intend to alleviate the development in different ways. Early experimentation with alternate design choices or problem decompositions for concurrent applications is suggested to make concurrent programming easier.This paper presents a survey of programming languages and systems for prototyping concurrent applications to review the state of the art in this area. The surveyed approaches are classified with respect to the prototyping process.