Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software engineering --- Systems engineering --- Congresses --- Software engineering - Congresses --- Systems engineering - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software engineering --- Systems engineering --- Engineering & Applied Sciences --- Computer Science --- Congresses --- Software engineering - Congresses --- Systems engineering - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Information Technology --- Computer Science (Hardware & Networks) --- System design --- Systems engineering --- Computer-aided design --- System design - Congresses --- Systems engineering - Congresses --- Computer-aided design - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Software engineering --- Systems engineering --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Computer science. --- Software engineering. --- Computer Science. --- Software Engineering. --- Computer software engineering --- Engineering --- Informatics --- Science --- Software engineering - Congresses --- Systems engineering - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume contains the papers from the workshop “Radical Innovations of Software and Systems Engineering in the Future.” This workshop was the ninth in the series of Monterey Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. During the last decade object orientation was the driving factor for new system solutions in many areas ranging from e-commerce to embedded systems. New modeling languages such as UML and new programming languages such as Java and CASE tools have considerably in?uenced the system development techniques of today and will remain key techniques for the near future. However, actual practice shows many de?ciencies of these new approaches: – there is no proof and no evidence that software productivity has increased with the new methods; – UML has no clean scienti?c foundations, which inhibits the construction of powerful analysis and development tools; – support for mobile distributed system development is missing; – formanyapplications,object-orienteddesignisnotsuitedtoproducingclean well-structured code, as many applications show.

Software engineering --- Systems engineering --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Software engineering - Congresses --- Systems engineering - Congresses --- Programming languages (Electronic computers)