Sebanyak 379 item atau buku ditemukan

On the Mathematics of Modelling, Metamodelling, Ontologies and Modelling Languages

Computing as a discipline is maturing rapidly. However, with maturity often comes a plethora of subdisciplines, which, as time progresses, can become isolationist. The subdisciplines of modelling, metamodelling, ontologies and modelling languages within software engineering e.g. have, to some degree, evolved separately and without any underpinning formalisms. Introducing set theory as a consistent underlying formalism, Brian Henderson-Sellers shows how a coherent framework can be developed that clearly links these four, previously separate, areas of software engineering. In particular, he shows how the incorporation of a foundational ontology can be beneficial in resolving a number of controversial issues in conceptual modelling, especially with regard to the perceived differences between linguistic metamodelling and ontological metamodelling. An explicit consideration of domain-specific modelling languages is also included in his mathematical analysis of models, metamodels, ontologies and modelling languages. This encompassing and detailed presentation of the state-of-the-art in modelling approaches mainly aims at researchers in academia and industry. They will find the principled discussion of the various subdisciplines extremely useful, and they may exploit the unifying approach as a starting point for future research.

In much of software engineering and conceptual modelling, such a
representation is through the application of a graphically based modelling
language (ML)—a language appropriate for each of the three domains shown in
Fig. 1.10 (see Fig. 6.1). Such an artificial language has many of the attributes of a
natural language in terms of possessing both syntax and semantics. Together
these form the specification or definition of the modelling language. The
modelling language can then ...

Smart Cards, Tokens, Security and Applications

Providing a broad overview of the many card systems and solutions in practical use today, this state-of-the art work is written by contributing authors who are active researchers and acknowledged experts in their field. A single book cannot be found to match both the breadth and depth of content. The book combines a cross-discipline overview of smart cards, tokens and related security and applications plus a technical reference to support further research and study. A step-by-step approach educates the reader and by the end of the book the reader should be able to play an educated role in a smart card related project.

looking market trader was clear to see. Similarly the merchant had some clues to
the authenticity of the customer and his presented credentials, because the “
Cardholder was Present”. Fast forward back today and there is a much greater
proportion of transactions when the “Cardholder is Not Present” (CNP). One
immediately thinks of the Internet as the driving force for this, but we have in fact
being generating CNP transactions for a long time by purchasing items over the
telephone.

Component-Based Software Testing with UML

Component-based software development regards software construction in terms of conventional engineering disciplines where the assembly of systems from readily-available prefabricated parts is the norm. Because both component-based systems themselves and the stakeholders in component-based development projects are different from traditional software systems, component-based testing also needs to deviate from traditional software testing approaches. Gross first describes the specific challenges related to component-based testing like the lack of internal knowledge of a component or the usage of a component in diverse contexts. He argues that only built-in contract testing, a test organization for component-based applications founded on building test artifacts directly into components, can prevent catastrophic failures like the one that caused the now famous ARIANE 5 crash in 1996. Since building testing into components has implications for component development, built-in contract testing is integrated with and made to complement a model-driven development method. Here UML models are used to derive the testing architecture for an application, the testing interfaces and the component testers. The method also provides a process and guidelines for modeling and developing these artifacts. This book is the first comprehensive treatment of the intricacies of testing component-based software systems. With its strong modeling background, it appeals to researchers and graduate students specializing in component-based software engineering. Professionals architecting and developing component-based systems will profit from the UML-based methodology and the implementation hints based on the XUnit and JUnit frameworks.

The method also provides a process and guidelines for modeling and developing these artifacts. This book is the first comprehensive treatment of the intricacies of testing component-based software systems.

Guide to the Unified Process featuring UML, Java and Design Patterns

The UML, or Unified Modeling Language, is the de facto standard adopted by the Object Management Group (OMG) and by almost all vendors of object modeling tools. The Unified Process is explicitly designed to work with the UML and is a whole design method covering the majority of the life cycle of a software product. John Hunt's book guides you through the use of the UML and the Unified Process and their application to Java systems. Key Topics Focusing explicitly on applying the notation and the method to Java, the book is clearly written to appeal to practitioners. This second edition is considerably revised and extended and includes examples taken from the latest version of Rational Rose and Together. All the UML references are updated to the latest version and the Patterns chapter has been expanded to include J2EE examples. New chapters are included showing how the Unified Process can be used in real world projects and project management, and there is comprehensive coverage of Agile Modeling. - A truly practical introduction to object oriented analysis and design using the Unified Process. Where necessary the UML is introduced, to support the Unified Process steps. - Good coverage of Design Patterns and how they integrate into Java development - Focuses on the real world use of UML and the Unified Process via a detailed case study that follows the whole design process through from the initial setting up, to implementation in Java and Agile Modeling - Features and Benefits - How to use the Unified Process in real world projects - Covers the Unified Process and UML in one book - A concise and accessible step-by-step guide to applying the Unified Process and UML in Java - Explains Design Patterns and discusses how Agile Modeling fits with the Unified Process John Hunt is Technical Director at JayDee Technology Ltd. He runs industrial courses, including server-side Java technologies. He also leads development projects for government and blue chip organizations using Java, J2EE, XML and C#. He is the author of nine other books on Java, XML and object orientation.

This second edition is considerably revised and extended and includes examples taken from the latest version of Rational Rose and Together.

UML Modeling Languages and Applications

“UML” 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

This book constitutes the thoroughly refereed joint postproceedings of the satellite activities held at the 7th International Conference on the Unified Modeling Language, UML 2004, in Lisbon, Portugal in October 2004 complementing the main conference track. The book presents reports on the 10 workshops held at UML and covers a broad range of topics around systems modelling; these reports are compiled by the respective workshop organizers. Furthermore 12 revised reviewed papers from the industry track are included as well as 11 short papers corresponding to selected poster/demo presentations and a summary on the UML tools exhibition.

This book constitutes the thoroughly refereed joint postproceedings of the satellite activities held at the 7th International Conference on the Unified Modeling Language, UML 2004, in Lisbon, Portugal in October 2004 complementing the main ...

Real-Time Object Uniform Design Methodology with UML

This multi-function volume starts off as an ideal basic textbook for teaching object modeling, fundamental concepts learning and system designing with thirteen UML diagrams. But it also contains a whole section devoted to advanced research topics, samples and case studies. It is an essential work for any system developer or graduate student in a discipline that requires the power of object modeling as part of a development methodology.

This multi-function volume starts off as an ideal basic textbook for teaching object modeling, fundamental concepts learning and system designing with thirteen UML diagrams.

Secure Systems Development with UML

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction. With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.

With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced ...

Parallel Algorithm Derivation and Program Transformation

Transformational programming and parallel computation are two emerging fields that may ultimately depend on each other for success. Perhaps because ad hoc programming on sequential machines is so straightforward, sequential programming methodology has had little impact outside the academic community, and transformational methodology has had little impact at all. However, because ad hoc programming for parallel machines is so hard, and because progress in software construction has lagged behind architectural advances for such machines, there is a much greater need to develop parallel programming and transformational methodologies. Parallel Algorithm Derivation and Program Transformation stimulates the investigation of formal ways to overcome problems of parallel computation, with respect to both software development and algorithm design. It represents perspectives from two different communities: transformational programming and parallel algorithm design, to discuss programming, transformational, and compiler methodologies for parallel architectures, and algorithmic paradigms, techniques, and tools for parallel machine models. Parallel Algorithm Derivation and Program Transformation is an excellent reference for graduate students and researchers in parallel programming and transformational methodology. Each chapter contains a few initial sections in the style of a first-year, graduate textbook with many illustrative examples. The book may also be used as the text for a graduate seminar course or as a reference book for courses in software engineering, parallel programming or formal methods in program development.

This book contains selected papers from the ONR Workshop on Parallel Algorithm Design and Program Transformation that took place at New York University, Courant Institute, from Aug. 30 to Sept. 1, 1991.

The LLL Algorithm

Survey and Applications

The first book to offer a comprehensive view of the LLL algorithm, this text surveys computational aspects of Euclidean lattices and their main applications. It includes many detailed motivations, explanations and examples.

The first book to offer a comprehensive view of the LLL algorithm, this text surveys computational aspects of Euclidean lattices and their main applications. It includes many detailed motivations, explanations and examples.

The Algorithm Design Manual

This newly expanded and updated second edition of the best-selling classic continues to take the "mystery" out of designing algorithms, and analyzing their efficacy and efficiency. Expanding on the first edition, the book now serves as the primary textbook of choice for algorithm design courses while maintaining its status as the premier practical reference guide to algorithms for programmers, researchers, and students. The reader-friendly Algorithm Design Manual provides straightforward access to combinatorial algorithms technology, stressing design over analysis. The first part, Techniques, provides accessible instruction on methods for designing and analyzing computer algorithms. The second part, Resources, is intended for browsing and reference, and comprises the catalog of algorithmic resources, implementations and an extensive bibliography. NEW to the second edition: • Doubles the tutorial material and exercises over the first edition • Provides full online support for lecturers, and a completely updated and improved website component with lecture slides, audio and video • Contains a unique catalog identifying the 75 algorithmic problems that arise most often in practice, leading the reader down the right path to solve them • Includes several NEW "war stories" relating experiences from real-world applications • Provides up-to-date links leading to the very best algorithm implementations available in C, C++, and Java

NEW to the second edition: • Doubles the tutorial material and exercises over the first edition • Provides full online support for lecturers, and a completely updated and improved website component with lecture slides, audio and video ...