Design patterns for database pedagogy: a proposal
Proceedings of the 36th SIGCSE technical symposium on Computer science education
Separation of concerns in software product line engineering
MACS '05 Proceedings of the 2005 workshop on Modeling and analysis of concerns in software
Articulating and enforcing authorisation policies with UML and OCL
SESS '05 Proceedings of the 2005 workshop on Software engineering for secure systems—building trustworthy applications
An empirical comparison of the dynamic modeling in OML and UML
Journal of Systems and Software
Precise identification of composition relationships for UML class diagrams
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Linguistic continuity in software engineering
ACM SIGSOFT Software Engineering Notes
Cell modeling with reusable agent-based formalisms
Applied Intelligence
XML conceptual modeling with XUML
Proceedings of the 28th international conference on Software engineering
Increasing quality of conceptual models: is object-oriented analysis that simple?
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
Application of graph theory to OO software engineering
Proceedings of the 2006 international workshop on Workshop on interdisciplinary software engineering research
A generic optimizer interface for programming-free optimization systems
Advances in Engineering Software
Modeling and performance analysis for security aspects
Science of Computer Programming - Special issue on quality system and software architectures
UML 2: a model-driven development tool
IBM Systems Journal - Model-driven software development
A framework for transforming structured analysis and design artifacts to UML
SIGDOC '06 Proceedings of the 24th annual ACM international conference on Design of communication
PROTEUS: creating distributed maintenance systems through an integration platform
Computers in Industry - Special issue: E-maintenance
An object-oriented development method for Customer Knowledge Management Information Systems
Knowledge-Based Systems
Using UML to model relational database operations
Computer Standards & Interfaces
Towards An Integration Of Message Sequence Charts And Timed Maude
Journal of Integrated Design & Process Science
Using software product lines to manage model families in model-driven engineering
Proceedings of the 2007 ACM symposium on Applied computing
The Role of Experience and Ability in Comprehension Tasks Supported by UML Stereotypes
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Adopting Software Engineering Trends in AI
IEEE Intelligent Systems
Towards realizing a formal RBAC model in real systems
Proceedings of the 12th ACM symposium on Access control models and technologies
UML Profiles for Design Decisions and Non-Functional Requirements
SHARK-ADI '07 Proceedings of the Second Workshop on SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent
Runtime Checking of UML Association-Related Constraints
WODA '07 Proceedings of the 5th International Workshop on Dynamic Analysis
Composition inference for UML class diagrams
Automated Software Engineering
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
Patterns and technologies for enabling supply chain traceability through collaborative e-business
Information and Software Technology
An integrated framework for security protocol analysis
Proceedings of the 2008 ACM symposium on Information, computer and communications security
Communicating requirements for business: UML or problem frames?
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Environmental Modelling & Software
Assessing the benefits of synchronization-adorned sequence diagrams: two controlled experiments
Proceedings of the 4th ACM symposium on Software visualization
Roles, an interdisciplinary perspective
Applied Ontology - Roles, an interdisciplinary perspective
A conceptual model for negotiating in service-oriented environments
Information Processing Letters
Improving software projects course work by enhanced management
SEPADS'08 Proceedings of the 7th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
Extracting Object Interactions Out of Software Contracts Using Model Transformations
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Accurate Numerical Computation of Rovibrational G Matrices in Molecules of Arbitrary Size
ICCSA '08 Proceeding sof the international conference on Computational Science and Its Applications, Part I
Managing the Evolution of Service Specifications
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
UML Static Models in Formal Approach
Balancing Agility and Formalism in Software Engineering
A General Approach for Scenario Integration
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Towards a Formal Account of a Foundational Subset for Executable UML Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Diagrammatic Logic for Object-Oriented Visual Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Automating regression test selection based on UML designs
Information and Software Technology
Enhancing software projects course work by advanced management
WSEAS Transactions on Information Science and Applications
A development method of UML documents from requirement specifications using NLP
International Journal of Computer Applications in Technology
On Mechanisms for Deadlock Avoidance in SIP Servlet Containers
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks
Ambiguity in Natural Language Requirements Documents
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Separating application and security concerns in use case models
Proceedings of the 15th workshop on Early aspects
A consumer support architecture for enhancing customer relationships
WSEAS Transactions on Information Science and Applications
An approach to derive the use case diagrams from an event table
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
An architecture for consumer support systems
SEPADS'09 Proceedings of the 8th WSEAS International Conference on Software engineering, parallel and distributed systems
Automatic Translation from Textual Representations of Laws to Formal Models through UML
Proceedings of the 2005 conference on Legal Knowledge and Information Systems: JURIX 2005: The Eighteenth Annual Conference
Knowledge Entry Maps: structuring of method knowledge in the IT industry
Proceedings of the 2006 conference on Information Modelling and Knowledge Bases XVII
Information System in Security Area Using Semantic Approach
Proceedings of the 2009 conference on Information Modelling and Knowledge Bases XX
Technology Neutral Business Process Design using URDAD
Proceedings of the 2007 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the sixth SoMeT_07
An ontological basis for computer aided innovation
Computers in Industry
Extending FeatuRSEB with Concepts from Systems Engineering
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Lexical Markup Framework (LMF) for NLP multilingual resources
MLRI '06 Proceedings of the Workshop on Multilingual Language Resources and Interoperability
Model checking of healthcare domain models
Computer Methods and Programs in Biomedicine
Electronic Notes in Theoretical Computer Science (ENTCS)
A Systematic Process for Developing High Quality SaaS Cloud Services
CloudCom '09 Proceedings of the 1st International Conference on Cloud Computing
Interpretable program specification language
Programming and Computing Software
Deciding life-cycle inheritance on Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Integrating an improvement model of handling capacity requirements with the OpenUP/basic process
REFSQ'07 Proceedings of the 13th international working conference on Requirements engineering: foundation for software quality
An approach for architectural layer recovery
Proceedings of the 2010 ACM Symposium on Applied Computing
Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions
Information Visualization
An approach to testing conceptual schemas
Data & Knowledge Engineering
ECOOP'07 Proceedings of the 2007 conference on Object-oriented technology
A domain-oriented, model-based approach for construction and verification of railway control systems
Formal methods and hybrid real-time systems
A categorical approach to mereology and its application to modelling software components
Transactions on rough sets VIII
Towards a user-centered composition system for service-based composite applications
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Online CASE tool for collaborative software modelling
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
Applying software product line concepts in service orientation
International Journal of Intelligent Information and Database Systems
An experimental comparison of ER and UML class diagrams for data modelling
Empirical Software Engineering
Software evolution modelling: an approach for change impact analysis
Proceedings of the 7th International Conference on Frontiers of Information Technology
An ontology-based architecture for consumer support systems
WSEAS Transactions on Information Science and Applications
Proceedings of the 2010 conference on Bridging the Socio-technical Gap in Decision Support Systems: Challenges for the Next Decade
Consolidating diagram types from several agent-oriented methodologies
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Redefinable events for dynamic reconfiguration of communications in ubiquitous computing
Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures
Verifying UML/OCL models using Boolean satisfiability
Proceedings of the Conference on Design, Automation and Test in Europe
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Representing the spaces when planning learning flows
EC-TEL'10 Proceedings of the 5th European conference on Technology enhanced learning conference on Sustaining TEL: from innovation to learning and practice
O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems
International Journal of Agent-Oriented Software Engineering
Multimodal identification and tracking in smart environments
Personal and Ubiquitous Computing
SysML to UML model transformation for test generation purpose
ACM SIGSOFT Software Engineering Notes
Enhancing the semantics of UML association redefinition
Data & Knowledge Engineering
Adapter patterns for resolving mismatches in service discovery
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Model synchronization: mappings, tiles, and categories
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Teaching concurrency-oriented programming with Erlang
Proceedings of the 42nd ACM technical symposium on Computer science education
A systematic mapping study of software product lines testing
Information and Software Technology
Use of formal ontologies as a foundation for inventive design studies
Computers in Industry
A survey of UML applications in mechatronic systems
Innovations in Systems and Software Engineering
Service research challenges and solutions for the future internet
Inconsistency management framework for model-based development
Proceedings of the 33rd International Conference on Software Engineering
Refactoring information systems: association folding and unfolding
ACM SIGSOFT Software Engineering Notes
Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems
Proceedings of the First International Workshop on End-to-End Test Script Engineering
Cross-layer modeler: a tool for flexible multilevel modeling with consistency checking
Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering
Static and dynamic adaptations for service-based systems
Information and Software Technology
Development of an automated MBT toolchain from UML/SysML models
Innovations in Systems and Software Engineering
ER'11 Proceedings of the 30th international conference on Conceptual modeling
EWSA'06 Proceedings of the Third European conference on Software Architecture
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Correctly defined concrete syntax for visual modeling languages
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Package merge in UML 2: practice vs. theory?
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Mappings, maps and tables: towards formal semantics for associations in UML2
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Facilitating the definition of general constraints in UML
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Model transformations? transformation models!
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Modeling the railway control domain rigorously with a UML 2.0 profile
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
A technique to represent product line core assets in MDA/PIM for automation
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
On the interaction of inter-relationship constraints
Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation
ICCHP'06 Proceedings of the 10th international conference on Computers Helping People with Special Needs
Verification of business process integration options
BPM'06 Proceedings of the 4th international conference on Business Process Management
ECDL'06 Proceedings of the 10th European conference on Research and Advanced Technology for Digital Libraries
Multi-level model-based self-diagnosis of distributed object-oriented systems
ATC'06 Proceedings of the Third international conference on Autonomic and Trusted Computing
Verifying scenario-based aspect specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Extending UML 2 activity diagrams with business intelligence objects
DaWaK'05 Proceedings of the 7th international conference on Data Warehousing and Knowledge Discovery
Synthesizing state-machine behaviour from UML collaborations and use case maps
SDL'05 Proceedings of the 12th international conference on Model Driven
Generic relationships in information modeling
Journal on Data Semantics IV
Model-driven architecture for agent-based systems
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Dependent types for program understanding
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Composing transitions into transactions in UML diagrams
EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Behavior based integration of composite business processes
BPM'05 Proceedings of the 3rd international conference on Business Process Management
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Software hazard analysis for x-by-wire applications
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Evaluating the effect of composite states on the understandability of UML statechart diagrams
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
The impact of UML 2.0 on existing UML 1.4 models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Using UML 2.0 collaborations for compositional service specification
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Specification and validation of authorisation constraints using UML and OCL
ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security
Modeling semantic information in engineering applications: a review
Artificial Intelligence Review
Realizing graph transformations by pre- and postconditions and command sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
On the use of association redefinition in UML class diagrams
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Definition and correct refinement of operation specifications
Dependable Systems
Specifying the semantics of operation contracts in conceptual modeling
Journal on Data Semantics VII
Feature driven dynamic customization of software product lines
ICSR'06 Proceedings of the 9th international conference on Reuse of Off-the-Shelf Components
Consistency of UML class diagrams with hierarchy constraints
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
Software development with the emphasis on topology
ADBIS'09 Proceedings of the 13th East European conference on Advances in Databases and Information Systems
Teaching object-oriented modeling and UML to various audiences
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Revising the UML collaborations: a well-founded approach
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
Bridging the semantic gap between abstract models of embedded systems
CBSE'10 Proceedings of the 13th international conference on Component-Based Software Engineering
Representing NFRs and FRs: a goal-oriented and use case driven approach
SERA'04 Proceedings of the Second international conference on Software Engineering Research, Management and Applications
A comparative analysis of use case relationships
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Systematic design of web service transactions
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
A technique to represent and generate components in MDA/PIM for automation
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
Application of automated revision for UML models: a case study
ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
Verification of UML models by translation to UML-B
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
A new end-user composition model to empower knowledge workers to develop rich internet applications
Journal of Web Engineering
From relational ClassSheets to UML+OCL
Proceedings of the 27th Annual ACM Symposium on Applied Computing
An approach to test-driven development of conceptual schemas
Data & Knowledge Engineering
Teaching software engineering and software project management: an integrated and practical approach
Proceedings of the 34th International Conference on Software Engineering
Formalizing a domain specific language using SOS: an industrial case study
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
International Journal of Computational Science and Engineering
A layer-based method for rapid software development
Computers & Mathematics with Applications
Roles, an interdisciplinary perspective
Applied Ontology - Roles, an interdisciplinary perspective
How to make unified modeling language diagrams accessible for blind students
ICCHP'12 Proceedings of the 13th international conference on Computers Helping People with Special Needs - Volume Part I
Assessing practical usefulness and performance of the PREDIQT method: An industrial case study
Information and Software Technology
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
A UML profile for representing business object states in a data warehouse
DaWaK'07 Proceedings of the 9th international conference on Data Warehousing and Knowledge Discovery
Compositionality and refinement in model-driven engineering
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
From UML and OCL to relational logic and back
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Automatic generation of test models and properties from UML models with OCL constraints
Proceedings of the 12th Workshop on OCL and Textual Modelling
Management of Correctness Problems in UML Class Diagrams Towards a Pattern-Based Approach
International Journal of Information System Modeling and Design
The crosscutting impact of the AOSD Brazilian research community
Journal of Systems and Software
The hole in the whole: a response to Allen and March
MIS Quarterly
Configuring business process models
ACM SIGSOFT Software Engineering Notes
Model-based services convergence and multi-clouds integration
Computers in Industry
MR4UM: A framework for adding fault tolerance to UML state diagrams
Theoretical Computer Science
Enforcement of conceptual schema quality issues in current integrated development environments
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
Applying a def-use approach on signal exchange to implement SysML model-based testing
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
International Journal of Information Technology and Web Engineering
A language-independent approach to black-box testing using Erlang as test specification language
Journal of Systems and Software
A practical approach for testing timed deterministic finite state machines with single clock
Science of Computer Programming
Análise das dimensões cognitivas de ALaDIM
Proceedings of the 12th Brazilian Symposium on Human Factors in Computing Systems
QoS based resource provisioning and scheduling in grids
The Journal of Supercomputing
TRANSDISCIPLINARY SYNTHESIS AND COGNITION FRAMEWORKS
Journal of Integrated Design & Process Science
A formal ontology for a generalized inventive design methodology
Applied Ontology
Hi-index | 0.00 |
“If you are a serious user of UML, there is no other book quite like this one. I have been involved with the UML specification process for some time, but I still found myself learning things while reading through this book-especially on the changes and new capabilities that have come with UML.” ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 ï戮 -Ed Seidewitz, Chief Architect, IntelliData Technologies CorporationThe latest version of the Unified Modeling Language-UML 2.0-has increased its capabilities as the standard notation for modeling software-intensive systems. Like most standards documents, however, the official UML specification is difficult to read and navigate. In addition, UML 2.0 is far more complex than previous versions, making a thorough reference book more essential than ever.In this significantly updated and expanded edition of the definitive reference to the standard, James Rumbaugh, Ivar Jacobson, and Grady Booch-the UML's creators-clearly and completely describe UML concepts, including major revisions to sequence diagrams, activity models, state machines, components, internal structure of classes and components, and profiles. Whether you are capturing requirements, developing software architectures, designing implementations, or trying to understand existing systems, this is the book for you.Highlights include: Alphabetical dictionary of articles covering every UML concept Integrated summary of UML concepts by diagram type Two-color diagrams with extensive annotations in blue Thorough coverage of both semantics and notation, separated in each article for easy reference Further explanations of concepts whose meaning or purpose is obscure in the original specifications Discussion sections offering usage advice and additional insight into tricky concepts Notation summary, with references to individual articles A hyperlinked version of the book in Adobe Reader format on CD-ROM, an excellent resource for browsing or searching the text for specific information An enhanced online index available on the book's web site allowing readers to quickly and easily search the entire text for specific topicsThe result is an indispensable resource for anyone who needs to understand the inner workings of the industry standard modeling language.