Choose an application

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

Computer science --- Computer architecture. Operating systems --- Computer. Automation --- computerbesturingssystemen --- programmeren (informatica) --- software engineering --- informatica management --- OS (operating system)

Choose an application

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

This volume contains the papers presented at the 12th SDL Forum, Grimstad, Norway. The SDL Forum was ?rst held in 1982, and then every two years from 1985. Initially the Forum was concerned only with the Speci?cation and Description Language that was ?rst standardized in the 1976 Orange Book of the Inter- tional Telecommunication Union (ITU). Since then, many developments took place and the language has undergone several changes. However, the main underlying paradigm has survived, and it is the reason for the success of the Speci?cation and Description Language in many projects. This paradigm is based on the following important principles of distributed - plications: Communication: large systems tend to be described using smaller parts that communicate with each other; State: the systems are described on the basis of an explicit notion of state; State change: the behavior of the system is described in terms of (local) changes of the state. The original language is not the only representative for this kind of paradigm, so the scope of the SDL Forum was extended quite soon after the ?rst few events to also include other ITU standardized languages of the same family, such as MSC, ASN.1 and TTCN. This led to the current scope of System Design Languages coveringallstagesofthedevelopmentprocessincludinginparticularSDL,MSC, UML, ASN.1, eODL, TTCN, and URN. The focus is clearly on the advantages to users, and how to get from these languages the same advantage given by the ITU Speci?cation and Description Language: code generation from high-level speci?cations.

SDL (Computer program language) --- Telecommunication --- Congresses. --- Switching systems --- Design and construction --- Data processing --- Telecommunications --- Computer Science --- Electrical & Computer Engineering --- Engineering & Applied Sciences --- Electric communication --- Mass communication --- Telecom --- Telecommunication industry --- Specification and Description Language (Computer program language) --- Computer science. --- Computer organization. --- Software engineering. --- Computer logic. --- Management information systems. --- Computer Science. --- Computer Systems Organization and Communication Networks. --- Software Engineering. --- Logics and Meanings of Programs. --- Management of Computing and Information Systems. --- Computer-based information systems --- EIS (Information systems) --- Executive information systems --- MIS (Information systems) --- Sociotechnical systems --- Information resources management --- Management --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Communication systems --- Programming languages (Electronic computers) --- Communication --- Information theory --- Telecommuting --- Computer network architectures. --- Logic design. --- Information Systems. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer engineering. --- Computer networks. --- Electronic data processing --- Computer Engineering and Networks. --- Computer Science Logic and Foundations of Programming. --- IT Operations. --- Management. --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Cyberinfrastructure --- Network computers --- Computers --- Distributed processing

Choose an application

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

The papers in this volume aim at obtaining a common understanding of the challenging research questions in web applications comprising web information systems, web services, and web interoperability; obtaining a common understanding of verification needs in web applications; achieving a common understanding of the available rigorous approaches to system development, and the cases in which they have succeeded; identifying how rigorous software engineering methods can be exploited to develop suitable web applications; and at developing a European-scale research agenda combining theory, methods and tools that would lead to suitable web applications with the potential to implement systems for computation in the public domain.

Mathematics --- Computer science --- Programming --- Computer. Automation --- computers --- informatica --- computerbesturingssystemen --- externe fixatie (geneeskunde --- programmeren (informatica) --- wiskunde --- software engineering --- algoritmen