A Formal Modeling Tool for Exploratory Modeling in Software Development
نویسندگان
چکیده
منابع مشابه
Formal Validation for Software Modeling
Currently,modeling for software is mostly semiformal, such as UML(Unified Modeling Language).The main problem is difficult to analyze semantics and verify correctness for a vital system.CPN(Colored Petri Net)as modeling and verification method provides formal semantics and a number of analysis techniques and tools.This paper presents an approach of formal modeling and validation for software pr...
متن کاملDevelopment of a Software Tool For Modeling Smart Environments
Widely distributed small and cheap computational devices which are embedded in physical environments provide the opportunity to build Smart Environments where there is an implicit informatic interaction between the environment and the immersed people. A common type of smart environment is a building which is equipped with a guidance system. This system helps the visitors who are not familiar wi...
متن کاملA Formal Approach to Heterogeneous Software Modeling
The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, “improved” models. Examples of such models are architectural, design, structural, behavioral, and so forth. Each software model is intended to highlight a particular view of a desired system. A combination of multiple models is needed to represent and understand the entire sys...
متن کاملStatic Modeling of Oil Field Mineral Scales: Software Development
Mineral scale deposition in near wellbore regions of injection wells is one of the main challengeable issues during the water injection process, which magnifies the importance of robust models in predicting the amount of mineral scale deposition such as calcium sulfate. One of the main challenges of CaSO4 scale is in carbonated reservoirs, in which sensitive behavior is observed in related to t...
متن کاملFormal Modeling of Diffie-Hellman Derivability for Exploratory Automated Analysis
The views, opinions and/or findings contained in Approved for Public Release this report are those of The MITRE Corporation and should not be construed as an official Government position, policy, or decision, unless designated by other documentation.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2017
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.2016fop0003