Keyword : CASE


Effectiveness of an Integrated CASE Tool for Productivity and Quality of Software Developments
Michio TSUDA Sadahiro ISHIKAWA Osamu OHNO Akira HARADA Mayumi TAKAHASHI Shinji KUSUMOTO Katsuro INOUE 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2006/04/01
Vol. E89-D  No. 4 ; pp. 1470-1479
Type of Manuscript:  PAPER
Category: Software Engineering
Keyword: 
CASEproductivityqualityreuse
 Summary | Full Text:PDF

ASADAL/PROVER: A Toolset for Verifying Temporal Properties of Real-Time System Specifications in Statechart
Kwang-Il KO Kyo C. KANG 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1999/02/25
Vol. E82-D  No. 2 ; pp. 398-411
Type of Manuscript:  PAPER
Category: Sofware System
Keyword: 
requirement engineeringCASEStatecharttemporal logictemporal property verification techniques
 Summary | Full Text:PDF

A Support Tool for Specifying Requirements Using Structures of Documents
Tomofumi UETAKE Morio NAGATA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1998/12/25
Vol. E81-D  No. 12 ; pp. 1429-1438
Type of Manuscript:  Special Section PAPER (Special Issue on Knowledge-Based Software Engineering)
Category: Application
Keyword: 
CASEsoftware engineeringSGMLrequirement acquisitionhypertext
 Summary | Full Text:PDF

An Automatic Programming System SPACE with Highly Visualized and Abstract Program Specification
Minoru HARADA Takashi YOSHIMIZU 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 1995/04/25
Vol. E78-D  No. 4 ; pp. 403-419
Type of Manuscript:  PAPER
Category: Software Systems
Keyword: 
automationsoftware systemsautomatic programming systemCASE
 Summary | Full Text:PDF

Net-Oriented Analysis and Design
Shinichi HONIDEN Naoshi UCHIHIRA 
Publication:   IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 1992/10/25
Vol. E75-A  No. 10 ; pp. 1317-1325
Type of Manuscript:  INVITED PAPER (Special Section on Application of Petri Nets to Concurrent System Design)
Category: 
Keyword: 
petri netsstate transition didgramdata flow diagramalgebraic specificationtemporal logicobject-oriented analysis and designCASE
 Summary | Full Text:PDF