4. CAST 1994: Ottawa, Canada

Foundations of CAST: Theory and Methodology

• Franz Pichler, Heinz Schwärtzel, Roberto Moreno-Díaz:
  Systems Science and Systems Technology: From Conceptual Framework to Applicable Solutions. 3-12
  
• George J. Klir:
  Soft Computer-Aided System Theory and Technology (SCAST). 13-27
  
• Bernard P. Zeigler:
  Fundamental Systems Concepts: "The Right Stuff" for 21st Century Technology. 28-33
  
• A. Wayne Wymore:
  SYNERGY: The Design of a Systems Engineering System, I. 34-45
  
• Gillian Hill:
  The Configuration of Complex Systems. 46-64
  
• Herbert Praehofer, Bernard P. Zeigler:
  On the Expressibility of Discrete Event Specified Systems. 65-79
  
• Cliff Joslyn:
  An Object-Oriented Architecture for Possibilistic Models. 80-94
  
• I. Burhan Türksen:
  Fuzzy Expert System Technology. 95-107
  
• Abderrahim Benslimane:
  Deciding Boundedness for Systems of two Linear Communicating Fine State Machines. 108-122
  
• Tetsuo Tomiyama, Yasushi Umeda, Takashi Kiriyama:
  A Framework for Knowledge Intensive Engineering. 123-147
  

CAST Methods

• Tuncer I. Ören, Nasser Ghasem-Aghaee:
  Multiparadigm (Knowledge-Based and Numerical) Continuous Simulation Environments: Architectural Issues. 151-160
  
• Markus Voss, Gerhard Schweizer:
  A Development Methodology for Systems Engineering of Computer-Based Systems and its Environmental Support. 161-175
  
• Christoph Schaffer:
  An Approach to the Design of Complex, Heterogeneous Hardware/Software Systems. 176-190
  
• Jean-Pierre Corriveau, Craig Hayashi:
  A Strategy for Realizing Traceability in an Object-Oriented Design Environment. 191-204
  
• Olga Bolívar Toledo, Juan Carlos Quevedo-Losada, Roberto Moreno-Díaz Jr., Santiago Candela Solá:
  Towards a CAST Method for a Systematic Generation of Non-Orthogonal Complete Transformations. 205-213
  
• Matilde Santos, S. Dormido, A. P. de Madrid, F. Morilla, Jesús Manuel de la Cruz:
  Tuning Fuzzy Logic Controllers by Classical Techniques. 214-224
  
• Hasan Ural, Huaqing Zeng:
  Computer Aided Design of Protocol Converters. 225-238
  

CAST Tools and Environments

• Ernst Schmitter:
  Modelling, Analysis and Evaluation of Systems Architectures. 241-251
  
• Roman Blasco:
  Systematic Strategy for Performance Prediction in Improvement of Parallel Programs. 252-267
  
• Francisco Bustio, Pedro Corcuera, Eduardo Mora:
  Design and Implementation of Multimedia Environment for Simulation. 268-277
  
• Daniel M. Dubois, Germano Resconi, Alessandro Raymondi:
  TurboBrain: A Neural Network with Direct Learning Based on Linear or Non-Linear Threshold Logics. 278-294
  
• Richard J. Duro, José Santos Reyes, A. Sarmiento:
  GENIAL: An Evolutionary Recurrent Neural Network Designer and Trainer. 295-301
  
• Oryal Tanir, Vinod K. Agarwal, P. C. P. Bhatt:
  DASE: An Environment for System Level Telecommunication Design Exploration and Modelling. 302-318
  
• Gabriele Oberlik, Stefan Preishuber, A. Min Tjoa, Roland Wagner, Klaus Wolfmayr:
  VOMDraw - A Tool for Visual Object Modeling. 319-333
  
• Franco Arcieri, Michelangelo Fossa, Enrico Nardelli:
  A Computer Aided System for Developing Graphical Telematic Applications. 334-348
  
• Clenio F. Salviano, Mario A. Nascimento, Murat M. Tanik:
  A Simple Approach to Improve the Abstraction Level of Object Representation. 349-362
  
• T. Müller-Wipperfürth:
  On the Integration of CAST.FSM into the VLSI Design Process. 363-372
  
• Mario A. Nascimento, Clenio F. Salviano, Murat M. Tanik:
  Using Logic Programming to Test Module Specifications in Early Stages of Software Development. 373-387
  
• Yasuhiko Takahara, Naoki Shiba:
  Systems Theory and Systems Implementation: Case of DSS. 388-408
  
• Gerard K. Yeh, James B. Burr, Kallol Kumar Bagchi, Allen M. Peterson:
  CASCADE: A Computer-Aided Tool for Low-Energy High-Performance Multi-DSP VLSI System Design. 409-422
  
• Jean-Michel Thizy:
  Illustrating Constraint Programming Systems in Logistic Planning. 423-437