Computer Aided Systems Theory - CAST '94: 4th International Workshop, Ottawa, Ontario, May 16 - 20, 1994. Selected Papers, 4. sējumsSpringer Science & Business Media, 1996 - 437 lappuses This volume presents a collection of revised refereed papers selected from the presentations at the Fourth International Workshop on Computer Aided Systems Theory - CAST '94, held in Ottawa, Ontario, Canada in May 1994. The 31 full papers included in the book were chosen from originally 82 submissions and reflect the state of the art in the area of computer aided systems theory. The volume is divided into sections on foundations, methods, and tools and environments. |
Saturs
From Conceptual Frameworks to Applicable Solutions | 3 |
Soft ComputerAided System Theory and Technology SCAST | 13 |
The Right Stuff for 21st Century Technology | 28 |
The Design of a Systems Engineering System I | 34 |
The Configuration of Complex Systems | 46 |
On the Expressibility of Discrete Event Specified Systems | 65 |
An ObjectOriented Architecture for Possibilistic Models | 80 |
Fuzzy Expert System Technology | 95 |
CAST Tools and Environments | 239 |
Modelling Analysis and Evaluation of Systems Architectures | 241 |
Systematic Strategy for Performance Prediction in Improvement of Parallel Programs | 252 |
Design and Implementation of Multimedia Environment for Simulation | 268 |
A Neural Network with Direct Learning Based on Linear or NonLinear Threshold Logics | 278 |
An Evolutionary Recurrent Neural Network Designer and Trainer | 295 |
An Environment for System Level Telecommunication Design Exploration and Modelling | 302 |
VOMDraw A Tool for Visual Object Modeling | 319 |
Deciding Boundedness for Systems of Two Linear Communicating Finite State Machines | 108 |
A Framework for Knowledge Intensive Engineering | 123 |
CAST Methods | 149 |
Architectural Issues | 151 |
A Development Methodology for Systems Engineering of ComputerBased Systems and its Environmental Support | 161 |
An Approach to the Design of Complex Heterogeneous HardwareSoftware Systems | 176 |
A Strategy for Realizing Traceability in an Object Oriented Design Environment | 191 |
Towards a Cast Method for a Systematic Generation of NonOrthogonal Complete Transformations | 205 |
Tuning Fuzzy Logic Controllers by Classical Techniques | 214 |
Computer Aided Design of Protocol Converters | 225 |
A Computer Aided System for Developing Graphical Telematic Applications | 334 |
A Simple Approach to Improve the Abstraction Level of Object Representation | 349 |
On the Integration of CASTFSM into the VLSI Design Process | 363 |
Using Logic Programming to Test Module Specifications in Early Stages of Software Development | 373 |
Systems Theory and Systems ImplementationCase of DSS | 388 |
A ComputerAided Tool for Low Energy HighPerformance MultiDSP VLSI System Design | 409 |
Illustrating Constraint Programming Systems in Logistic Planning | 423 |
Author Index | |
Bieži izmantoti vārdi un frāzes
abstraction algorithm analysis application approach attributes behavior CFSM CFSM's channel CLP(R communication complex components Computer Aided Systems concept configuration constraints defined definition DEVS discrete event dynamical system entities environment evaluation example execution Figure finite finite state machines formal framework function fuzzy measure theory fuzzy sets graph has-a hierarchy IEEE implementation input integration interaction interface iteration KbDif knowledge intensive engineering language linear mathematical methodology methods module multiparadigm neuron node object oriented Object-Oriented ontology operation optimization output paradigm parallel program parameters performance Petri nets PID control port possibilistic problem procedure processor Prolog protocol prototype random set realization representation represented requirements simulation solution specification structure subsystem SYNERGY synthesis system architecture system design system models systems engineering Systems Theory Technology telematic Threshold Logic transition TurboBrain uncertainty values VHDL