MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "The use of CASE tools." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

236 documents found, showing 1 through 10. Next 10 →

ATOM

Formally Testing Fail-Safety of Electronic Purse Protocols
by Jan Jürgens, Extended Abstract, Guido Wimmel — 2001
… 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:
by An Experience Report, Thomas Kudrass, Marco Lehmbach, Ro Buchmann — in the Proc. of the 8 th International Conference, CAiSE’96
… 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
by Bret Johnson — 1991
…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
by Luis E. Mendoza, Teresita Rojas, María A. Pérez — 2000 — In: Proceedings of The 4 th World Multiconference on Systemics, Cybernetics and Informatics SCI 2000
… 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
by Geoff Beckworth — 1993
… 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)
by Jan Jürjens, Guido Wimmel — 2001
… systematic specification-based testing of securitycritical systems using the CASE tool Auto…
Add To MetaCart

Automated Analysis of Natural Language Properties for UML Models
by Sascha Konrad, Betty H. C. Cheng — 2006 — of Lecture Notes in Computer Science, chapter 6
… 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
by Elena Kornyshova, Rébecca Deneckère, Camille Salinesi
…, (b) prioritize use cases, and (c) analyze and prioritize risks 2 . Select and Acquire Tools…
Add To MetaCart

CASE Tools as
by Organizational Change Investigating, Wanda J. Orlikowski
… 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 Nancy Day, Nancy Day — 1993
… by Computer-Aided Software Engineering (CASE) tools. In order to create this link, the formalism used…
Cited by 7 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB