feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    UID:
    b3kat_BV041964162
    Format: 1 Online-Ressource
    ISBN: 9783540591320
    Series Statement: Lecture notes in computer science 906
    Additional Edition: Erscheint auch als Druckausgabe ISBN 978-3-540-49198-9
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    RVK:
    Keywords: Abstrakter Datentyp ; Algebraische Spezifikation ; Abstrakter Datentyp ; Spezifikation ; Konferenzschrift
    Author information: Astesiano, Egidio 1939-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    b3kat_BV022457350
    Format: 1 Online-Ressource (X, 122 Seiten) , Illustrationen, Diagramme
    ISBN: 3540250530 , 9783540250531 , 9783540318699
    Series Statement: Lecture notes in computer science 3409
    Note: Literaturangaben
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-540-25053-1
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Verteiltes System ; API ; Java ; Verteiltes System ; Anwendungssystem ; UML ; Verteiltes System ; Anwendungssoftware ; Java ; Konferenzschrift ; Aufsatzsammlung
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    almafu_9959186106302883
    Format: 1 online resource (VIII, 532 p.)
    Edition: 1st ed. 1995.
    Edition: Online edition Springer Lecture Notes Archive ; 041142-5
    ISBN: 3-540-49198-8
    Series Statement: Lecture Notes in Computer Science, 906
    Content: This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994. The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.
    Note: Bibliographic Level Mode of Issuance: Monograph , Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings -- Bulk types and query language design -- From abstract data types to logical frameworks -- Algebraic specification languages: An overview -- Types, subtypes, and ASL+ -- On the operational semantics of the algebraic and logic programming language LPG -- Behavioural theories -- Equations for describing dynamic nets of communicating systems -- A lazy approach to partial algebras -- Transactions in object-oriented specifications -- Local specification of distributed families of sequential objects -- Dynamic abstract data types based on algebraic graph transformations -- Modular termination of term rewriting systems revisited -- Institutions for behaviour specification -- An algebraic semantics for the object specification language TROLL light -- Defining equations in terminal coalgebras -- Sort inheritance for order-sorted equational presentations -- Axiomatic specification of large information systems: Experiences and consequences -- An object-oriented airport: Specification and refinement in Maude -- Topological methods for algebraic specification -- A hierarchy of institutions separated by properties of parameterized abstract data types -- Dynamical behavior of object systems -- A theory-based topological notion of institution -- Typing abstract data types -- Multialgebras, power algebras and complete calculi of identities and inclusions -- Institutional frames -- Implementation of data structures in an imperative framework -- What is an Abstract Data Type, after all?. , English
    In: Springer eBooks
    Additional Edition: ISBN 3-540-59132-X
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9947920559502882
    Format: X, 158 p. , online resource.
    ISBN: 9783540246398
    Series Statement: Lecture Notes in Computer Science, 2952
    Content: FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on “Java-related” technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. Allpaperssubmittedtothisworkshopwerereviewedbyatleasttwomembers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected, for these post-workshop proceedings, 14 papers, amongst 29 submitted, two tutorials, and one keynote talk. FIDJI2003aimedatpromotingascienti?capproachtosoftwareengineering. The scope of the workshop included the following topics: – design of distributed Java applications – Java-related technologies – software and system architecture engineering and development methodo- gies – development methodologies for UML – development methodologies for reliable distributed systems – component-based development methodologies – managementofevolutions/iterationsintheanalysis,design,implementation, and test phases – dependability support during system life-cycles – managing inconsistencies during application development – atomicity and exception handling in system development – software architectures, frameworks, and design patterns for developing d- tributed systems – integration of formal techniques in the development process – formal analysis and grounding of modeling notation and techniques (e. g. , UML, metamodeling) – supporting the security requirements of distributed applications in the - velopment process – refactoring methods – industrial and academic case studies – development and analysis tools The organization of such a workshop represents an important amount of work.
    Note: A Framework for Resolution of Deployment Dependencies in Java-Enabled Service Gateways -- A Framework for Resolution of Deployment Dependencies in Java-Enabled Service Gateways -- A Java Package for Class and Mixin Mobility in a Distributed Setting -- Streaming Services: Specification and Implementation Based on XML and JMF -- Hard Real-Time Implementation of Embedded Software in JAVA -- Experiment on Embedding Interception Service into Java RMI -- BANip: Enabling Remote Healthcare Monitoring with Body Area Networks -- Structural Testing of Mobile Agents -- A Model of Error Management for Financial Systems -- Software Model Engineering and Reuse with the Evolution and Validation Environment -- Distributed Composite Objects: A New Object Model for Cooperative Applications -- A Java-Based Uniform Workbench for Simulating and Executing Distributed Mobile Applications -- Seamless UML Support for Service-Based Software Architectures -- Model Generation for Distributed Java Programs -- Keynote Talks -- Software Inspections We Can Trust -- Tutorials -- J2EE and .NET: Interoperability with Webservices.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540210917
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    gbv_181647532
    Format: VIII, 523 S. , graph. Darst.
    ISBN: 354059132X , 038759132X
    Series Statement: Lecture notes in computer science 906
    Note: Literaturangaben
    Additional Edition: Online-Ausg. Recent trends in data type specification Berlin [u.a.] : Springer, 1995 ISBN 9783540491989
    Additional Edition: Erscheint auch als Online-Ausgabe Astesiano, Egidio Recent Trends in Data Type Specification Berlin, Heidelberg : Springer Berlin Heidelberg, 1995 ISBN 9783540491989
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    RVK:
    Keywords: Abstrakter Datentyp ; Spezifikation ; Abstrakter Datentyp ; Abstrakter Datentyp ; Algebraische Spezifikation ; Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    gbv_1649265166
    Format: Online-Ressource
    ISBN: 9783540456452
    Series Statement: Lecture Notes in Computer Science 2267
    Content: This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001. The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems
    Additional Edition: ISBN 9783540431596
    Additional Edition: Buchausg. u.d.T. Recent trends in algebraic development techniques Berlin : Springer, 2001 ISBN 3540431594
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Algebraische Spezifikation ; Algebraische Spezifikation ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    almahu_9947920423302882
    Format: X, 348 p. , online resource.
    ISBN: 9783540456452
    Series Statement: Lecture Notes in Computer Science, 2267
    Note: Interactive Rule-Based Specification with an Application to Visual Language Definition -- Algebraic Abstractions -- Combining Logics: Parchments Revisited -- Canonical Institutions of Behaviour -- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications -- On the Compatibility of Model and Model-Class Transformations -- Verifying a Simple Pipelined Microprocessor Using Maude -- Verifying Architectural Specifications -- Geometric Modelling with CASL -- A Compositional Approach to Connector Construction -- Institution Independent Static Analysis for Casl -- Tight and Loose Semantics for Transformation Systems -- Presentations for Abstract Context Institutions -- Programs, Proofs and Parametrized Specifications -- Towards Trustworthy Specification I: Consistency Checks -- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540431596
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    almahu_9947920893902882
    Format: VIII, 532 p. , online resource.
    ISBN: 9783540491989
    Series Statement: Lecture Notes in Computer Science, 906
    Content: This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994. The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.
    Note: Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings -- Bulk types and query language design -- From abstract data types to logical frameworks -- Algebraic specification languages: An overview -- Types, subtypes, and ASL+ -- On the operational semantics of the algebraic and logic programming language LPG -- Behavioural theories -- Equations for describing dynamic nets of communicating systems -- A lazy approach to partial algebras -- Transactions in object-oriented specifications -- Local specification of distributed families of sequential objects -- Dynamic abstract data types based on algebraic graph transformations -- Modular termination of term rewriting systems revisited -- Institutions for behaviour specification -- An algebraic semantics for the object specification language TROLL light -- Defining equations in terminal coalgebras -- Sort inheritance for order-sorted equational presentations -- Axiomatic specification of large information systems: Experiences and consequences -- An object-oriented airport: Specification and refinement in Maude -- Topological methods for algebraic specification -- A hierarchy of institutions separated by properties of parameterized abstract data types -- Dynamical behavior of object systems -- A theory-based topological notion of institution -- Typing abstract data types -- Multialgebras, power algebras and complete calculi of identities and inclusions -- Institutional frames -- Implementation of data structures in an imperative framework -- What is an Abstract Data Type, after all?.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540591320
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    almahu_9948621595302882
    Format: VIII, 532 p. , online resource.
    Edition: 1st ed. 1995.
    ISBN: 9783540491989
    Series Statement: Lecture Notes in Computer Science, 906
    Content: This volume comprises the invited surveys and revised versions of the submitted papers selected for presentation at the 10th Workshop on Specification of Abstract Data Types, held jointly with the 4th COMPASS Workshop in S. Margherita, Italy in June 1994. The volume gives a comprehensive state-of-the-art report of the research activities: besides classical algebraic techniques, other relevant topics are investigated, such as formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems. In addition to four surveys by prominent leaders in the area and 23 papers presenting original research, the book contains an annotated bibliography covering all contributions to the ten editions of the workshop.
    Note: Combining algebra and universal algebra in first-order theorem proving: The case of commutative rings -- Bulk types and query language design -- From abstract data types to logical frameworks -- Algebraic specification languages: An overview -- Types, subtypes, and ASL+ -- On the operational semantics of the algebraic and logic programming language LPG -- Behavioural theories -- Equations for describing dynamic nets of communicating systems -- A lazy approach to partial algebras -- Transactions in object-oriented specifications -- Local specification of distributed families of sequential objects -- Dynamic abstract data types based on algebraic graph transformations -- Modular termination of term rewriting systems revisited -- Institutions for behaviour specification -- An algebraic semantics for the object specification language TROLL light -- Defining equations in terminal coalgebras -- Sort inheritance for order-sorted equational presentations -- Axiomatic specification of large information systems: Experiences and consequences -- An object-oriented airport: Specification and refinement in Maude -- Topological methods for algebraic specification -- A hierarchy of institutions separated by properties of parameterized abstract data types -- Dynamical behavior of object systems -- A theory-based topological notion of institution -- Typing abstract data types -- Multialgebras, power algebras and complete calculi of identities and inclusions -- Institutional frames -- Implementation of data structures in an imperative framework -- What is an Abstract Data Type, after all?.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662173787
    Additional Edition: Printed edition: ISBN 9783540591320
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    almahu_9948621443202882
    Format: X, 158 p. , online resource.
    Edition: 1st ed. 2004.
    ISBN: 9783540246398
    Series Statement: Lecture Notes in Computer Science, 2952
    Content: FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on "Java-related" technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. Allpaperssubmittedtothisworkshopwerereviewedbyatleasttwomembers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected, for these post-workshop proceedings, 14 papers, amongst 29 submitted, two tutorials, and one keynote talk. FIDJI2003aimedatpromotingascienti?capproachtosoftwareengineering. The scope of the workshop included the following topics: - design of distributed Java applications - Java-related technologies - software and system architecture engineering and development methodo- gies - development methodologies for UML - development methodologies for reliable distributed systems - component-based development methodologies - managementofevolutions/iterationsintheanalysis,design,implementation, and test phases - dependability support during system life-cycles - managing inconsistencies during application development - atomicity and exception handling in system development - software architectures, frameworks, and design patterns for developing d- tributed systems - integration of formal techniques in the development process - formal analysis and grounding of modeling notation and techniques (e. g. , UML, metamodeling) - supporting the security requirements of distributed applications in the - velopment process - refactoring methods - industrial and academic case studies - development and analysis tools The organization of such a workshop represents an important amount of work.
    Note: A Framework for Resolution of Deployment Dependencies in Java-Enabled Service Gateways -- A Framework for Resolution of Deployment Dependencies in Java-Enabled Service Gateways -- A Java Package for Class and Mixin Mobility in a Distributed Setting -- Streaming Services: Specification and Implementation Based on XML and JMF -- Hard Real-Time Implementation of Embedded Software in JAVA -- Experiment on Embedding Interception Service into Java RMI -- BANip: Enabling Remote Healthcare Monitoring with Body Area Networks -- Structural Testing of Mobile Agents -- A Model of Error Management for Financial Systems -- Software Model Engineering and Reuse with the Evolution and Validation Environment -- Distributed Composite Objects: A New Object Model for Cooperative Applications -- A Java-Based Uniform Workbench for Simulating and Executing Distributed Mobile Applications -- Seamless UML Support for Service-Based Software Architectures -- Model Generation for Distributed Java Programs -- Keynote Talks -- Software Inspections We Can Trust -- Tutorials -- J2EE and .NET: Interoperability with Webservices.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783540210917
    Additional Edition: Printed edition: ISBN 9783662199862
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages