Author: Magne HaveraaenPublisher:
ISBN:
Category :
Languages : en
Pages : 30
Book Description
A 2-tiered Software Process Model for Utilizing Casl
Author: Magne HaveraaenCASL Reference Manual
Author: Peter D. MossesPublisher: Springer
ISBN: 3540246487
Category : Computers
Languages : en
Pages : 520
Book Description
CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks. This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications. As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.
CASL Reference Manual
Author: Publisher: Springer Science & Business Media
ISBN: 3540213015
Category : CASL (Computer program language)
Languages : en
Pages : 546
Book Description
Recent Trends in Algebraic Development Techniques
Author: Maura CerioliPublisher: Springer Science & Business Media
ISBN: 3540431594
Category : Computers
Languages : en
Pages : 353
Book Description
. . . . . . . . . . . . . . . . 328 D. Sannella AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345 InteractiveRule-BasedSpeci?cationwithan ApplicationtoVisualLanguageDe?nition 1 1 2 Roswitha Bardohl , Martin Große-Rhode , and Marta Simeoni 1 Institutfur ̈ SoftwaretechnikundTheoretischeInformatik,TUBerlin, {rosi,mgr}@cs. tu-berlin. de 2 DipartimentodiInformatica,Universit`aCa`FoscaridiVenezia, simeoni@dsi. unive. it Abstract. Inarule-basedapproachthecomputationstepsofasystem arespeci?edbyrulesthatcompletelyde?nehowthesystem’sstatemay change. Foropensystemsamoreliberalapproachisrequired,wherethe statechangesareonlypartlyspeci?ed,and–interactively–otherc- ponents may contribute further information on how the transformation isde?nedcompletely.
Specifications of Parameterized Data Types
Author: Yngve LamoThe Institution of Multialgebras
Author: Yngve LamoCollaboration and Technology
Author: Carl GutwinPublisher: Springer
ISBN: 3319638742
Category : Computers
Languages : en
Pages : 270
Book Description
This book constitutes the refereed proceeding of the 23rd International Conference on Collaboration and Technology, CRIWG 2017, held in Saskatoon, Canada, in August 2017. The 14 full papers presented together with 5 work-in-progress papers were carefully reviewed and selected from 33 submissions. The papers focus on collaboration technology design, development, and evaluation. The background research is influenced by a number disciplines, such as computer science, management science, information systems, engineering, psychology, cognitive sciences, and social sciences
Software Engineering for Self-Adaptive Systems
Author: Rogério de LemosPublisher: Springer
ISBN: 3642358136
Category : Computers
Languages : en
Pages : 402
Book Description
Although the self-adaptability of systems has been studied in a wide range of disciplines, from biology to robotics, only recently has the software engineering community recognized its key role in enabling the development of self-adaptive systems that are able to adapt to internal faults, changing requirements, and evolving environments. The 15 carefully reviewed papers included in this state-of-the-art survey were presented at the International Seminar on "Software Engineering for Self-Adaptive Systems", held in Dagstuhl Castle, Germany, in October 2010. Continuing the course of the first book of the series on "Software Engineering for Self-Adaptive Systems" the collection of papers in this second volume comprises a research roadmap accompanied by four elaborating working group papers. Next there are two parts - with three papers each - entitled "Requirements and Policies" and "Design Issues"; part four of the book contains four papers covering a wide range of "Applications".
Advanced Techniques in Computing Sciences and Software Engineering
Author: Khaled ElleithyPublisher: Springer Science & Business Media
ISBN: 9048136601
Category : Computers
Languages : en
Pages : 582
Book Description
Advanced Techniques in Computing Sciences and Software Engineering includes a set of rigorously reviewed world-class manuscripts addressing and detailing state-of-the-art research projects in the areas of Computer Science, Software Engineering, Computer Engineering, and Systems Engineering and Sciences. Advanced Techniques in Computing Sciences and Software Engineering includes selected papers form the conference proceedings of the International Conference on Systems, Computing Sciences and Software Engineering (SCSS 2008) which was part of the International Joint Conferences on Computer, Information and Systems Sciences and Engineering (CISSE 2008).
Author: