From program languages to software languages

Authors:
P. Pepper;M. Cebulla;K. Didrich;W. Grieskamp
Affiliations:
Technische Universität Berlin, Fachbereich Informatik, Franklinstr. 28/29, D-10587 Berlin, Germany;Technische Universität Berlin, Fachbereich Informatik, Franklinstr. 28/29, D-10587 Berlin, Germany;Technische Universität Berlin, Fachbereich Informatik, Franklinstr. 28/29, D-10587 Berlin, Germany;Technische Universität Berlin, Fachbereich Informatik, Franklinstr. 28/29, D-10587 Berlin, Germany
Venue:
Journal of Systems and Software - Special issue on artificial and computational intelligence for decisions, control, and automation in engineering and industrial applications
Year:
2002

Citing 12
Cited 2

Statecharts: A visual formalism for complex systems

Science of Computer Programming
ML for the working programmer

ML for the working programmer
The essence of functional programming

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
OPAL: design and implementation of an algebraic programming language

Proceedings of the international conference on Programming languages and system architectures
Software architecture: perspectives on an emerging discipline

Software architecture: perspectives on an emerging discipline
Haskell: the craft of functional programming

Haskell: the craft of functional programming
How to declare an imperative

ACM Computing Surveys (CSUR)
Proof-carrying code

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Software architecture in practice

Software architecture in practice
Combining Z and Temporal Interval Logics for the Formalization of Properties and Behaviors of Embedded Systems

ASIAN '97 Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science
Communicating Functional Agents and Their Application to Graphical User Interfaces

Proceedings of the Second International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A Modular Framework for the Integration of Heterogeneous Notations and Tools

IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods

Modeling sociotechnical specifics using architectural concepts

Proceedings of the 2004 ACM symposium on Applied computing
Knowledge-based assessment of behavior in dynamic environments

Proceedings of the 2005 ACM workshop on Research in knowledge representation for autonomous systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In modern Software Engineering it is no longer sufficient to consider "programming" as the task of writing implementations in more or less suited programming languages and adding a more or less accurate documentation. Rather, the amalgamation of various aspects and views into a heterogeneous assembly of coordinated products is required. In this paper we present a vision of such a scenario. This vision is based on experiences with both academic style foundational research and industry-oriented applied research projects.