From UML to B – A Level Crossing Case Study

WIT Transactions on the Built Environment - United Kingdom
doi 10.2495/cr060351
Full Text
Abstract

Available in full text

Date
Authors
Publisher

WIT Press

Related search

Towards Formalised Guidelines for Migrating Structured Designs to UML: A Case Study

Software Quality Journal
Media TechnologyRiskReliabilitySafetyQualitySoftware
2005English

Automatically Deriving a UML Analysis Model From a Use Case Model

English

Generating Maude Specifications From UML Use Case Diagrams.

Journal of Object Technology
Software
2009English

Behavioural Study of Pedestrians at Railway Level Crossing With Special Reference to India

Journal of Engineering and Applied Sciences
Engineering
2019English

UML Diagrams Generator: A New CASE Tool to Construct the Use-Case and Class Diagrams From an Event Table

Journal of Computer Science
Computer NetworksSoftwareArtificial IntelligenceCommunications
2010English

Global K-Level Crossing Reduction

Journal of Graph Algorithms and Applications
GeometryComputer Science ApplicationsComputer ScienceMathematicsComputational TheoryTheoretical Computer ScienceTopology
2011English

Translation From UML to SPN Model: A Performance Modeling Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

The Level Crossing Problem in Semi-Classical Analysis I. The Symmetric Case

Annales de l'Institut Fourier
GeometryTopologyNumber TheoryAlgebra
2003English

Contrary-To-Duties Constraints: From UML to Relational Model

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy