[go: up one dir, main page]

Tung et al., 1993 - Google Patents

Multiple views of an executable software specification language

Tung et al., 1993

Document ID
13250531842491949995
Author
Tung Y
Khwaja A
Urban J
Publication year
Publication venue
Journal of Systems and Software

External Links

Snippet

The front end of the software life cycle has been identified as critical in the development of software systems. The development of precise, concise, and unambiguous software specifications is the important link in the front end of the software life cycle. Executable …
Continue reading at www.sciencedirect.com (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G06F17/21—Text processing
    • G06F17/22—Manipulating or registering by use of codes, e.g. in sequence of text characters
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/38—Implementation of user interfaces
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F3/00—Input arrangements for transferring data to be processed into a form capable of being handled by the computer; Output arrangements for transferring data from processing unit to output unit, e.g. interface arrangements
    • G06F3/01—Input arrangements or combined input and output arrangements for interaction between user and computer
    • G06F3/048—Interaction techniques based on graphical user interfaces [GUI]
    • G06F3/0481—Interaction techniques based on graphical user interfaces [GUI] based on specific properties of the displayed interaction object or a metaphor-based environment, e.g. interaction with desktop elements like windows or icons, or assisted by a cursor's changing behaviour or appearance
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G06F17/30386—Retrieval requests
    • G06F17/30389—Query formulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/4443—Execution mechanisms for user interfaces
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06T—IMAGE DATA PROCESSING OR GENERATION, IN GENERAL
    • G06T11/00—2D [Two Dimensional] image generation

Similar Documents

Publication Publication Date Title
Vlissides et al. Unidraw: A framework for building domain-specific graphical editors
Reiss PECAN: Program development systems that support multiple views
Costagliola et al. Automatic generation of visual programming environments
Horton Beginning JavaTM 2
US5485600A (en) Computer modelling system and method for specifying the behavior of graphical operator interfaces
Vanderdonckt et al. Flexible reverse engineering of web pages with vaquista
US20040060037A1 (en) Method for gesture based modeling
Favre G/sup SEE: a Generic Software Exploration Environment
Kasyanov Methods and tools for structural information visualization
Bruns et al. User interfaces for map algebra
Koskimies et al. SCED: A tool for dynamic modelling of object systems
Tung et al. Multiple views of an executable software specification language
Olsen Jr et al. Research directions for user interface software tools
Fuhrmann On the pragmatics of graphical modeling
Takahashi et al. A constraint-based approach for visualization and animation
Lecolinet XXL: A dual approach for building user interfaces
Tallis et al. The Briefing Associate: A Role for COTS applications in the Semantic Web.
McIntyre A visual method for generating iconic programming environments
Van De Vanter User interaction in language-based editing systems
Grundy et al. A visual programming environment for object-oriented languages
Bolognesi et al. The definition of a graphical G-LOTOS editor using the meta-tool LOGGIE
Lewicki et al. VisiTile-a visual language development toolkit
Prochnow Efficient development of complex statecharts
Ermel et al. Generation of animation views for Petri nets in GenGED
WO2001008002A2 (en) Hierarchically structured control information editor