This is TikiWiki v1.9.8.3 -Sirius- © 2002–2007 by the Tiki community Fri 22 of Nov, 2024 [15:10 UTC]

Category I.2.2 Automatic Programming

Automatic analysis of algorithms Program modification Program synthesis Program transformation Program verification

Browse in:
All Wiki pages Image galleries Images File galleries Blogs Trackers Items Surveys Articles

Show subcategories objects

Current category: Top :: ITHEA Classification Structure :: I. Computing Methodologies :: I.2 ARTIFICIAL INTELLIGENCE :: I.2.2 Automatic Programming

..

ITHEA Classification Structure

A. General Literature

A.1 INTRODUCTORY AND SURVEY

A.m MISCELLANEOUS

B.1 CONTROL STRUCTURES AND MICROPROGRAMMING

B.1.1 Control Design Styles

B.1.2 Control Structure Performance Analysis and Design Aids

B.1.3 Control Structure Reliability, Testing, and Fault-Tolerance

B.1.4 Microprogram Design Aids

B.1.5 Microcode Applications

B.1.m Miscellaneous

B.2 ARITHMETIC AND LOGIC STRUCTURES

B.2.1 Design Styles

B.2.2 Performance Analysis and Design Aids

B.2.3 Reliability, Testing, and Fault-Tolerance

B.2.4 High-Speed Arithmetic

B.2.m Miscellaneous

B.3 MEMORY STRUCTURES

B.3.1 Semiconductor Memories

B.3.2 Design Styles

B.3.3 Performance Analysis and Design Aids

B.3.4 Reliability, Testing, and Fault-Tolerance

B.3.m Miscellaneous

B.4 INPUT/OUTPUT AND DATA COMMUNICATIONS

B.4.1 Data Communications Devices

B.4.2 Input/Output Devices

B.4.3 Interconnections (Subsystems)

B.4.4 Performance Analysis and Design Aids

B.4.5 Reliability, Testing, and Fault-Tolerance

B.4.m Miscellaneous

B.5 REGISTER-TRANSFER-LEVEL IMPLEMENTATION

B.5.2 Design Aids

B.5.3 Reliability and Testing

B.5.m Miscellaneous

B.6 LOGIC DESIGN

B.6.1 Design Styles

B.6.2 Reliability and Testing

B.6.3 Design Aids

B.6.m Miscellaneous

B.7 INTEGRATED CIRCUITS

B.7.1 Types and Design Styles

B.7.2 Design Aids

B.7.3 Reliability and Testing

B.7.m Miscellaneous

B.8 PERFORMANCE AND RELIABILITY

B.8.1 Reliability, Testing, and Fault-Tolerance

B.8.2 Performance Analysis and Design Aids

B.8.m Miscellaneous

B.m MISCELLANEOUS

C. Computer Systems Organization

C.1 PROCESSOR ARCHITECTURES

C.1.1 Single Data Stream Architectures

C.1.2 Multiple Data Stream Architectures (Multiprocessors)

C.1.3 Other Architecture Styles

C.1.4 Parallel Architectures

C.1.m Miscellaneous

C.2 COMPUTER-COMMUNICATION NETWORKS

C.2.1 Network Architecture and Design

C.2.2 Network Protocols

C.2.3 Network Operations

C.2.4 Distributed Systems

C.2.5 Local and Wide-Area Networks

C.2.6 Internetworking

C.2.m Miscellaneous

C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS

C.4 PERFORMANCE OF SYSTEMS

C.5 COMPUTER SYSTEM IMPLEMENTATION

C.5.1 Large and Medium (``Mainframe'') Computers

C.5.2 Minicomputers

C.5.3 Microcomputers

C.5.4 VLSI Systems

C.5.m Miscellaneous

C.m MISCELLANEOUS

D.1 PROGRAMMING TECHNIQUES

D.1.1 Applicative (Functional) Programming

D.1.2 Automatic Programming

D.1.3 Concurrent Programming

D.1.4 Sequential Programming

D.1.5 Object-oriented Programming

D.1.6 Logic Programming

D.1.7 Visual Programming

D.1.m Miscellaneous

D.2 SOFTWARE ENGINEERING

D.3 PROGRAMMING LANGUAGES

D.3.1 Formal Definitions and Theory

D.3.2 Language Classifications

D.3.3 Language Constructs and Features

D.3.4 Processors

D.3.m Miscellaneous

D.4 OPERATING SYSTEMS

D.m MISCELLANEOUS

E.1 DATA STRUCTURES

E.2 DATA STORAGE REPRESENTATIONS

E.3 DATA ENCRYPTION

E.4 CODING AND INFORMATION THEORY

E.m MISCELLANEOUS

F. Theory of Computation

F.1 COMPUTATION BY ABSTRACT DEVICES

F.1.1 Models of Computation

F.1.2 Modes of Computation

F.1.3 Complexity Measures and Classes

F.1.m Miscellaneous

F.2 ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY

F.2.1 Numerical Algorithms and Problems

F.2.2 Nonnumerical Algorithms and Problems

F.2.3 Tradeoffs between Complexity Measures

F.2.m Miscellaneous

F.3 LOGICS AND MEANINGS OF PROGRAMS

F.3.1 Specifying and Verifying and Reasoning about Programs

F.3.2 Semantics of Programming Languages

F.3.3 Studies of Program Constructs

F.3.m Miscellaneous

F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES

F.4.1 Mathematical Logic

F.4.2 Grammars and Other Rewriting Systems

F.4.3 Formal Languages

F.4.m Miscellaneous

F.m MISCELLANEOUS

G. Mathematics of Computing

H. Information Systems

H.1 MODELS AND PRINCIPLES

H.1.1 Systems and Information Theory

H.1.2 User/Machine Systems

H.1.m Miscellaneous

H.2 DATABASE MANAGEMENT

H.3 INFORMATION STORAGE AND RETRIEVAL

H.3.1 Content Analysis and Indexing

H.3.2 Information Storage

H.3.3 Information Search and Retrieval

H.3.4 Systems and Software

H.3.5 Online Information Services

H.3.6 Library Automation

H.3.7 Digital Libraries

H.3.m Miscellaneous

H.4 INFORMATION SYSTEMS APPLICATIONS

H.4.1 Office Automation

H.4.2 Types of Systems

H.4.3 Communications Applications

H.4.m Miscellaneous

H.5 INFORMATION INTERFACES AND PRESENTATION

H.5.1 Multimedia Information Systems

H.5.2 User Interfaces (D.2.2, H.1.2, I.3.6)

H.5.3 Group and Organization Interfaces

H.5.4 Hypertext/Hypermedia

H.5.5 Sound and Music Computing

H.5.m Miscellaneous

H.m MISCELLANEOUS

I. Computing Methodologies

I.1 SYMBOLIC AND ALGEBRAIC MANIPULATION

I.1.1 Expressions and Their Representation

I.1.2 Algorithms

I.1.3 Languages and Systems

I.1.4 Applications

I.1.m Miscellaneous

I.2 ARTIFICIAL INTELLIGENCE

I.3 COMPUTER GRAPHICS

I.4 IMAGE PROCESSING AND COMPUTER VISION

I.5 PATTERN RECOGNITION

I.5.2 Design Methodology

I.5.3 Clustering

I.5.4 Applications

I.5.5 Implementation

I.5.m Miscellaneous

I.6 SIMULATION AND MODELING

I.7 DOCUMENT AND TEXT PROCESSING

I.7.1 Document and Text Editing

I.7.2 Document Preparation

I.7.3 Index Generation

I.7.4 Electronic Publishing

I.7.5 Document Capture

I.7.m Miscellaneous

I.m MISCELLANEOUS

J. Computer Applications

J.1 ADMINISTRATIVE DATA PROCESSING

J.2 PHYSICAL SCIENCES AND ENGINEERING

J.3 LIFE AND MEDICAL SCIENCES

J.4 SOCIAL AND BEHAVIORAL SCIENCES

J.5 ARTS AND HUMANITIES

J.6 COMPUTER-AIDED ENGINEERING

J.7 COMPUTERS IN OTHER SYSTEMS

J.m MISCELLANEOUS

K. Computing Milieux

K.1 THE COMPUTER INDUSTRY

K.2 HISTORY OF COMPUTING

K.3 COMPUTERS AND EDUCATION

K.3.1 Computer Uses in Education

K.3.2 Computer and Information Science Education

K.3.m Miscellaneous

K.4 COMPUTERS AND SOCIETY

K.4.1 Public Policy Issues

K.4.2 Social Issues

K.4.3 Organizational Impacts

K.4.4 Electronic Commerce

K.4.m Miscellaneous

K.5 LEGAL ASPECTS OF COMPUTING

K.5.1 Hardware/Software Protection

K.5.2 Governmental Issues

K.5.m Miscellaneous

K.6 MANAGEMENT OF COMPUTING AND INFORMATION SYSTEMS

K.6.1 Project and People Management

K.6.2 Installation Management

K.6.3 Software Management

K.6.4 System Management

K.6.5 Security and Protection

K.6.m Miscellaneous

K.7 THE COMPUTING PROFESSION

K.7.1 Occupations

K.7.2 Organizations

K.7.3 Testing, Certification, and Licensing

K.7.4 Professional Ethics

K.7.m Miscellaneous

K.8 PERSONAL COMPUTING

K.8.1 Application Packages

K.8.3 Management/Maintenance

K.8.m Miscellaneous

K.m MISCELLANEOUS

Objects (6)

Article	A METHOD OF CONTEXT-SENSITIVE HELP GENERATION USING A TASK PROJECT1	Abstract. The article presents a new method to automatic generation of help in software. Help generation is realized in the framework of the tool for development and automatic generation of user inte
Article	A METHOD OF ESTIMATING USABILITY OF A USER INTERFACE BASED ON ITS MODEL	Abstract. The article presents a new method to estimating usability of a user interface based on its model. The principal features of the method are: creation of an expandable knowledge base of usabi
Article	DIALOG BASED ON GRAPHICAL STATIC SCENES MANAGED BY AN ONTOLOGY	Abstract. A new method to implementation of dialog based on graphical static scenes using an ontology-based approach to user interface development is proposed. The main idea of the approach is to for
Article	METHODS FOR AUTOMATED DESIGN AND MAINTENANCE OF USER INTERFACES	Abstract: Methods for automated development and maintenance of intellectual software user interfaces are proposed. They rest on an ontology-based approach and intended for decreasing effort and time f
Article	Program Invariants Generation over Polynomial Ring using Iterative Methods.	Abstract: A solution for program polynomial invariant generation problem is presented. An iteration upper approximation method that was successfully applied on free algebras in this paper was adopted
Article	ПЕРСПЕКТИВНЫЕ НАПРАВЛЕНИЯ РАЗВИТИЯ ...	Аннотация: Рассматриваются проблемы создания и применения автоматизированных систем. Особое внимание удел�

Page: 1/1
1

Login

World Clock

Powered by Tikiwiki

Powered by PHP

Powered by Smarty

Powered by ADOdb

Made with CSS

Powered by RDF

powered by The PHP Layers Menu System

Wiki

Blogs

Articles

Image Galleries

File Galleries

Forums

Maps

Calendars

[ Execution time: 0.21 secs ] [ Memory usage: 9.08MB ] [ GZIP Disabled ] [ Server load: 0.60 ]

Powered by Tikiwiki CMS/Groupware