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:
    almahu_BV039613034
    Format: XVIII, 726 S. : , graph. Darst.
    ISBN: 978-3-642-24484-1 , 3-642-24484-X
    Series Statement: Lecture notes in computer science 6981
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Modellgetriebene Entwicklung ; Systementwicklung ; UML ; Entwurfssprache ; Softwarearchitektur ; Modelltransformation ; Konferenzschrift
    Author information: Whittle, Jon
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    almahu_9947364220602882
    Format: XX, 730 p. , online resource.
    ISBN: 9783642244858
    Series Statement: Lecture Notes in Computer Science, 6981
    Content: This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "outside the box" thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track received 27 submissions, of which 13 papers were selected for presentation. The papers are organized in topical sections on model transformation, model complexity, aspect oriented modeling, analysis and comprehension of models, domain specific modeling, models for embedded systems, model synchronization, model based resource management, analysis of class diagrams, verification and validation, refactoring models, modeling visions, logics and modeling, development methods, and model integration and collaboration.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783642244841
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    gbv_749186739
    Format: Online-Ressource (XIV, 415 p. Also available online) , digital
    Edition: Springer eBook Collection. Computer Science
    ISBN: 9783540452218
    Series Statement: Lecture Notes in Computer Science 2863
    Content: This book constitutes the refereed proceedings of the 6th International Conference on the Unified Modelling Language, UML 2003, held in San Francisco, CA, USA in October 2003. The 25 revised full papers, 4 tool papers, and 1 experience paper presented together with the abstracts of 3 invited talks and summaries on the UML 2003 workshop and tutorials were carefully reviewed and selected from initially 168 submissions. The papers are organized in topical sections on practical model management, time and quality of service, tools, composition and architecture, transformation, Web related issues, testing and validation, improving UML/OCL, consistency, and methodology
    Additional Edition: ISBN 9783540202431
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783662196120
    Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 9783540202431
    Language: English
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    kobvindex_ZLB15405069
    Format: XX, 730 Seiten , graph. Darst. , 24 cm
    ISBN: 9783642244841 , 364224484X
    Series Statement: Lecture notes in computer science 6981
    Note: Literaturangaben , Text engl.
    Language: English
    Keywords: Modellgetriebene Entwicklung ; Systementwicklung ; UML ; Entwurfssprache ; Softwarearchitektur ; Kongress ; Wellington 〈Neuseeland, 2011〉 ; Modelltransformation ; Kongress ; Wellington 〈Neuseeland, 2011〉 ; Kongress ; Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almahu_9948621439002882
    Format: XIV, 418 p. , online resource.
    Edition: 1st ed. 2003.
    ISBN: 9783540452218
    Series Statement: Lecture Notes in Computer Science, 2863
    Content: Thepastyearhasbeenaneventfuloneforthoseinterestedinsoftwaremodeling. The ?rst major revision of the Uni?ed Modeling Language, UML2.0, is in the process of adoption by the Object Management Group (OMG), and it makes many long-desired additions and improvements to UML. At the same time, it expands what was already a large language. A challenge for both practitioners andresearchersistohelpsmooththeadoptionofthisnewlanguage.Increasingly, attention is being paid to the use of specialized languages, often pro?les of UML, appropriate for di?erent purposes; this is one way to make UML less overwh- ming. Accordingly, the focus of the UML conference is gradually expanding from UML to software modeling in general. Simultaneously, model-driven development is being pursued as a way of - creasing the bene?ts from modeling throughout the software development p- cess. Gradually, it is developing from a set of slogans into a reality. Many of the papers in this volume are concerned, directly or indirectly, with how to make modeling, rather than coding, the heart of software development, and how to realize the resulting bene?ts of higher-level thinking. Much work remains to be done.
    Note: Inivited Talk 1 -- Agile Processes: Developing Your Own "Secret Recipes" -- Practical Model Management -- Difference and Union of Models -- GREAT: UML Transformation Tool for Porting Middleware Applications -- Model-Centric Engineering with the Evolution and Validation Environment -- Time and Quality of Service -- Representing Temporal Information in UML -- Formal Semantics of UML with Real-Time Constructs -- A QoS-Oriented Extension of UML Statecharts -- Short Tool Papers -- CheckVML: A Tool for Model Checking Visual Modeling Languages -- A Workbench to Experiment on New Model Engineering Applications -- ProGUM-Web: Tool Support for Model-Based Development of Web Applications -- Composition and Architecture -- On the Key Role of Composition in Object-Oriented Modelling -- Compositional and Relational Reasoning During Class Abstraction -- Encoding Informal Architectural Descriptions with UML: An Experience Report -- Inivited Talk 2 -- UML/MDA Reality Check: Heterogenous Architecture Style -- Transformation -- Towards Automating Source-Consistent UML Refactorings -- Model Refactorings as Rule-Based Update Transformations -- Reflective Model Driven Engineering -- The Web -- A Model-Driven Runtime Environment for Web Applications -- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems -- Platform Independent Web Application Modeling -- Testing and Validation -- Rigorous Testing by Merging Structural and Behavioral UML Representations -- Towards Automated Support for Deriving Test Data from UML Statecharts -- Validation of UML and OCL Models by Automatic Snapshot Generation -- Improving UML/OCL -- A Critique of UML's Definition of the Use-Case Class -- Modelling Database Views with Derived Classes in the UML/OCL-framework -- An OCL Extension for Low-Coupling Preserving Contracts -- Invited Talk 3 -- What Is the Point of the UML? -- Consistency -- Using Description Logic to Maintain Consistency between UML Models -- Modeling and Testing Legacy Data Consistency Requirements -- The Consistency Workbench: A Tool for Consistency Management in UML-Based Development -- Methodology -- Developing Safety-Critical Systems with UML -- Consistent and Complete Access Control Policies in Use Cases -- STAIRS - Steps To Analyze Interactions with Refinement Semantics -- Workshops and Tutorials -- Workshops at the UML 2003 Conference -- Tutorials at the UML 2003 Conference.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662196120
    Additional Edition: Printed edition: ISBN 9783540202431
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    almahu_9947364057402882
    Format: XIV, 694 p. , online resource.
    ISBN: 9783540457732
    Series Statement: Lecture Notes in Computer Science, 4199
    Note: Keynote 1 -- A Software Modeling Odyssey: Designing Evolutionary Architecture-Centric Real-Time Systems and Product Lines -- Evaluating UML -- Uses and Abuses of the Stereotype Mechanism in UML 1.x and 2.0 -- An Experimental Investigation of UML Modeling Conventions -- Improving the Definition of UML -- MDA in Software Development -- Adopting Model Driven Software Development in Industry – A Case Study at Two Companies -- Use Case Driven Iterative Development: Hurdles and Solutions -- Model-Driven Development with SDL – Process, Tools, and Experiences -- Concrete Syntax -- Model-Driven Analysis and Synthesis of Concrete Syntax -- Correctly Defined Concrete Syntax for Visual Modeling Languages -- Applying UML to Interaction and Coordination -- Compositional MDA -- CUP 2.0: High-Level Modeling of Context-Sensitive Interactive Applications -- Aspects -- Domain Models Are NOT Aspect Free -- A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects -- Model Intergration -- Package Merge in UML 2: Practice vs. Theory? -- Detecting and Resolving Model Inconsistencies Using Transformation Dependency Analysis -- Merging Models with the Epsilon Merging Language (EML) -- Formal Semantics of UML -- Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2 -- Semantic Variations Among UML StateMachines -- Facilitating the Definition of General Constraints in UML -- Security -- Towards a MOF/QVT-Based Domain Architecture for Model Driven Security -- MDA-Based Re-engineering with Object-Z -- A Model Transformation Semantics and Analysis Methodology for SecureUML -- Model Transformation Tools and Implementation -- Incremental Model Transformation for the Evolution of Model-Driven Systems -- A Plugin-Based Language to Experiment with Model Transformation -- SiTra: Simple Transformations in Java -- Analyzing Dynamic Models -- Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models -- Model Extraction Using Context Information -- Dynamic and Generic Manipulation of Models: From Introspection to Scripting -- Specifying Transformations -- Model Transformation by Example -- Graphical Definition of In-Place Transformations in the Eclipse Modeling Framework -- Model Transformations? Transformation Models! -- MOF -- A Mapping Language from Models to DI Diagrams -- Basic Operations over Models Containing Subset and Union Properties -- A Metamodeling Approach to Pattern Specification -- Keynote 2 -- Immune System Computation and the Immunological Homunculus -- Bridging Models -- Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach -- Lifting Metamodels to Ontologies: A Step to the Semantic Integration of Modeling Languages -- Incremental Model Synchronization with Triple Graph Grammars -- Risk, Trust and Dependability -- Model-Driven Assessment of Use Cases for Dependable Systems -- A Graphical Approach to Risk Identification, Motivated by Empirical Investigations -- Reusable MDA Components: A Testing-for-Trust Approach -- Tool Environments -- Using Smalltalk as a Reflective Executable Meta-language -- UML Model Interchange in Heterogeneous Tool Environments: An Analysis of Adoptions of XMI 2 -- Applying Model Fragment Copy-Restore to Build an Open and Distributed MDA Environment -- OCL -- An OCL-Based Technique for Specifying and Verifying Refinement-Oriented Transformations in MDE -- An OCL Semantics Specified with QVT -- Specification of Invariability in OCL -- Roundtrip Engineering -- Framework-Specific Modeling Languages with Round-Trip Engineering -- A Visualization Framework for the Modeling and Formal Analysis of High Assurance Systems -- Layered Class Diagrams: Supporting the Design Process -- Real Time and Embedded Systems -- Using UML Activities for System-on-Chip Design and Synthesis -- Modeling and Early Performance Estimation for Network Processor Applications -- A Formal Semantics of UML-RT -- Workshops, Tutorials and Panels -- Workshops and Symposia at MoDELS 2006 -- Tutorials at MoDELS 2006 -- Panels at MoDELS 2006.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540457725
    Language: English
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    UID:
    b3kat_BV039712579
    Format: 1 Online-Ressource (XVIII, 726 S.) , graph. Darst.
    ISBN: 9783642244858
    Series Statement: Lecture notes in computer science 6981
    Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-3-642-24484-1
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Modellgetriebene Entwicklung ; Systementwicklung ; UML ; Entwurfssprache ; Softwarearchitektur ; Modelltransformation ; Konferenzschrift
    Author information: Whittle, Jon
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    gbv_1885090935
    Format: xix, 291 Seiten , Illustrationen , 23 cm
    ISBN: 9780138073923 , 0138073929
    Content: AI systems are solving real-world challenges and transforming industries, but there are serious concerns about how responsibly they operate on behalf of the humans that rely on them. Many ethical principles and guidelines have been proposed for AI systems, but they're often too 'high-level' to be translated into practice. Conversely, AI/ML researchers often focus on algorithmic solutions that are too 'low-level' to adequately address ethics and responsibility. In this timely, practical guide, pioneering AI practitioners bridge these gaps. The authors illuminate issues of AI responsibility across the entire system lifecycle and all system components, offer concrete and actionable guidance for addressing them, and demonstrate these approaches in three detailed case studies. Writing for technologists, decision-makers, students, users, and other stake-holders, the topics cover: Governance mechanisms at industry, organisation, and team levels Development process perspectives, including software engineering best practices for AI System perspectives, including quality attributes, architecture styles, and patterns Techniques for connecting code with data and models, including key tradeoffs Principle-specific techniques for fairness, privacy, and explainability A preview of the future of responsible AI. -- Provided by publisher
    Note: Includes bibliographical references and index , Preface -- About the author -- Part I. Background and introduction: 1. Introduction to responsible AI ; 2. Operationalizing responsible AI : A thought Experiment - Robbie the Robot -- Part II.: Responsible AI Pattern Catalogue:- 3. Overview of the Responsible AI Pattern Catalogue ; 4. Multi-Level Governance Patterns for Responsible AI ; 5. Process Patterns for Trustworthy Development Processes ; 6. Product Patterns for Responsible-AI-by-Design ; 7. Pattern-Oriented Reference Architecture for Responsible-AI-by-Design ; 8. Principle-Specific Techniques for Responsible AI -- Part III.: Case Studies: 9. Risk-Based AI Governance in Telstra ; 10. Reejig : The World's First Independently Audited Ethical Talent AI ; 11. Diversity and Inclusion in Artificial Intelligence -- Part IV. Looking to the Future: 12. The Future of Responsible AI ; Part V : Appendix -- Index.
    Additional Edition: ISBN 9780138073879
    Language: English
    Author information: Whittle, Jon
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    gbv_77243932X
    Format: Online-Ressource (1 online resource (52 pages))
    Edition: Association for Computing Machinery-Digital Library
    ISBN: 9781605581439
    Series Statement: ACM Digital Library
    Note: Title from The ACM Digital Library
    Language: English
    Keywords: Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    gbv_772439044
    Format: Online-Ressource (1 online resource (90 pages))
    Edition: Association for Computing Machinery-Digital Library
    ISBN: 1595933948
    Series Statement: ACM Digital Library
    Note: Title from The ACM Digital Library
    Language: English
    Keywords: Konferenzschrift
    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