• Home
  • Search
  • Formalizing Fusion Object-Oriented Analysis Models
  • Open Access IconOpen Access
  • Cite Icon7
  • https://doi.org/10.1007/978-0-387-35082-0_5Copy DOI Icon

Formalizing Fusion Object-Oriented Analysis Models

  • Jan 1, 1997
  • B W Bates +3 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Most popular object-oriented analysis (OOA) methods provide good support for creating abstract, understandable models of system behavior and structure. The lack of firm semantic bases for most of these methods makes it difficult to rigorously reason about modeled behavior, and also makes it difficult to check the compliance of implementations (design and programs) against them. In this paper* we formalize the Fusion object-oriented analysis modeling techniques to make the models produced more amenable to formal analysis. We illustrate the formalization process by presenting some of the results of a case study carried out as part of our experimentations on formalized Fusion models.KeywordsFormal Specification TechniquesMethods IntegrationObject-Oriented AnalysisRequirements Engineering

Similar Papers
  • Research Article
  • Citations5

Development of a smart parking system based on internet of things using object-oriented analysis and design method

  • Apr 01, 2020
  • Journal of Physics: Conference Series
  • M F Maulana +3
  • Research Article
  • Citations33

Improving the constructability of design solutions through an integrated system

  • Jan 01, 1996
  • Engineering, Construction and Architectural Management
  • Mustafa Alshawi +1
  • Research Article
  • Citations3

A Software Development Methodology for Secure Web Application

  • Feb 28, 2019
  • International Journal on Advanced Science, Engineering and Information Technology
  • Junho Lee +3
  • Conference Article

Integration of object-oriented analysis and performance simulation for engineering computer-based systems

  • Mar 06, 1995
  • R Goldgar +1
  • Conference Article
  • Citations34

Change detection for high-resolution remote sensing imagery using object-oriented change vector analysis method

  • Jul 01, 2016
  • Liang Li +4
  • Research Article
  • Citations4

The object oriented model and its advantages

  • Jan 11, 1995
  • ACM SIGPLAN OOPS Messenger
  • José De Oliveira Guimarães
  • PDF
  • Research Article

Development of a smartphone-based information platform for rural land sublease in China

  • Jan 01, 2022
  • Information and Knowledge Management
  • Jinwen Wu +3
  • Conference Article

Effectiveness Evaluation of Air and Missile Defense System Based on Parametric Diagrams

  • Jan 01, 2016
  • Fa Lu +1
  • Conference Article
  • Citations4

OBJECT-ORIENTED APROACH TO MODELING AND ANALYSIS OF TRUSS STRUCTURES

  • Apr 19, 1993
  • Mitsunori Miki +1
  • Research Article
  • Citations12

Design of object-oriented database for the definition of machining operation sequences of 3D workpieces

  • Apr 01, 1998
  • Computers & Industrial Engineering
  • Alain Chep +3
  • Conference Article

Towards effective decision support for production scheduling

  • Oct 10, 1995
  • J Meyer +1
  • Conference Article

Human Resources Management Information System Requirement Analysis and Development in Humanitarian Foundation

  • Feb 16, 2023
  • Maryani Maryani +3
  • Conference Article
  • Citations1

Design and Implementation of Fishery Forecasting System Based on Radial Basis Function Neural Network

  • Aug 01, 2011
  • Hongchun Yuan +3
  • Conference Article
  • Citations1

A practical application of object-oriented enterprise modeling

  • May 22, 1995
  • D Thomas +4
  • PDF
  • Research Article
  • Citations7

An Approach for Monitoring Shallow Surface Outcrop Mining Activities Based on Multisource Satellite Remote Sensing Data

  • Aug 17, 2023
  • Remote Sensing
  • Shiyao Li +6
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.