Searching for "The use of CASE tools." – sorted by Relevance.
-
Formally Testing Fail-Safety of Electronic Purse Protocols
- are taken in). More specifically, we use the CASE tool AUTOFOCUS [4, 5] developed for design and formal
- Add To MetaCart
-
Tool-Based Re-Engineering of a Legacy MIS:
- on the use of CASE tools for re-engineering a legacy MIS and illustrate the process of current state analysis
- Add To MetaCart
-
Reverse Engineering with a CASE Tool
- Blanc October 6, 1994 Abstract We examine using a CASE tool, Interactive Development Environment 's Software
- Cited by 2 (0 self) – Add To MetaCart
-
The Venezuelan Organizations behavior in front of the CASE tools selection
- indicators included in the interactive process of adoption and use of CASE tools model, the investigation
- Cited by 2 (1 self) – Add To MetaCart
-
Selection Criteria for CASE Tools
- the selection criteria which were used to choose CASE tools for use in Undergraduate and Postgraduate studies
- Add To MetaCart
-
Formally Testing Fail-Safety of Electronic Purse Protocols (Extended Abstract)
- systematic specification-based testing of securitycritical systems using the CASE tool Auto
- Add To MetaCart
-
Automated Analysis of Natural Language Properties for UML Models
- engineering process that supports the specification of a UML model using CASE tools, the analysis of specified
- Cited by 5 (4 self) – Add To MetaCart
-
Improving Software Development Processes with Multicriteria Methods
- , (b) prioritize use cases, and (c) analyze and prioritize risks 2 . Select and Acquire Tools
- Add To MetaCart
-
CASE Tools as
- and use of CASE tools over time. Using a grounded theory research approach, the study characterizes
- Add To MetaCart
-
A Model Checker for Statecharts (Linking CASE tools with Formal Methods)
- by Computer-Aided Software Engineering (CASE) tools. In order to create this link, the formalism used
- Cited by 7 (0 self) – Add To MetaCart

