ATE155593T1 - Rechnerunterstützte softwareentwicklungseinrichtung - Google Patents

Rechnerunterstützte softwareentwicklungseinrichtung

Info

Publication number
ATE155593T1
ATE155593T1 AT91901023T AT91901023T ATE155593T1 AT E155593 T1 ATE155593 T1 AT E155593T1 AT 91901023 T AT91901023 T AT 91901023T AT 91901023 T AT91901023 T AT 91901023T AT E155593 T1 ATE155593 T1 AT E155593T1
Authority
AT
Austria
Prior art keywords
computer
modules
source code
software development
development device
Prior art date
Application number
AT91901023T
Other languages
English (en)
Inventor
Vivek K Wadhwa
Faraz Ataie
Vincent P Aubrun
Leonide Erlikh
Michael Fischer
Michael Fochler
Craig B Hayman
Daniel Hildebrand
James Hughes
Jeffrey L Lambert
Douglas E Lee
Nicholas R Lim
Rajan S Modi
Richard W Mosebach
Joel M Moskowitz
Tayo Olowu
Elaine C Power
Norman Shing
Original Assignee
Seer Technologies Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Seer Technologies Inc filed Critical Seer Technologies Inc
Application granted granted Critical
Publication of ATE155593T1 publication Critical patent/ATE155593T1/de

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/20Software design
    • YGENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10STECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S706/00Data processing: artificial intelligence
    • Y10S706/902Application using ai with detail of the ai system
    • Y10S706/919Designing, planning, programming, CAD, CASE
    • YGENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10STECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S706/00Data processing: artificial intelligence
    • Y10S706/902Application using ai with detail of the ai system
    • Y10S706/919Designing, planning, programming, CAD, CASE
    • Y10S706/922Computer program preparation

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Stored Programmes (AREA)
  • Devices For Executing Special Programs (AREA)
  • Debugging And Monitoring (AREA)
  • Crystals, And After-Treatments Of Crystals (AREA)
  • Paper (AREA)
  • Small-Scale Networks (AREA)
AT91901023T 1989-11-30 1990-11-30 Rechnerunterstützte softwareentwicklungseinrichtung ATE155593T1 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
US44406089A 1989-11-30 1989-11-30

Publications (1)

Publication Number Publication Date
ATE155593T1 true ATE155593T1 (de) 1997-08-15

Family

ID=23763323

Family Applications (1)

Application Number Title Priority Date Filing Date
AT91901023T ATE155593T1 (de) 1989-11-30 1990-11-30 Rechnerunterstützte softwareentwicklungseinrichtung

Country Status (11)

Country Link
US (1) US5295222A (de)
EP (1) EP0502975B1 (de)
JP (1) JPH05504858A (de)
AT (1) ATE155593T1 (de)
AU (1) AU648533B2 (de)
CA (1) CA2069945A1 (de)
DE (1) DE69031078T2 (de)
DK (1) DK0502975T3 (de)
ES (1) ES2106771T3 (de)
NZ (1) NZ236299A (de)
WO (1) WO1991008543A1 (de)

Families Citing this family (113)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5495610A (en) * 1989-11-30 1996-02-27 Seer Technologies, Inc. Software distribution system to build and distribute a software release
US5699310A (en) * 1990-06-29 1997-12-16 Dynasty Technologies, Inc. Method and apparatus for a fully inherited object-oriented computer system for generating source code from user-entered specifications
JPH04178876A (ja) * 1990-11-14 1992-06-25 Hitachi Ltd パーソナル情報表示システム
JP3177999B2 (ja) * 1991-04-25 2001-06-18 カシオ計算機株式会社 システム構成図作成装置
JPH05324295A (ja) * 1991-09-12 1993-12-07 Fujitsu Ltd ソフトウエアの設計支援装置
JP2749020B2 (ja) * 1991-11-14 1998-05-13 日立ソフトウエアエンジニアリング株式会社 ダイアグラム認識システム
EP0549112B1 (de) * 1991-12-26 1999-09-15 Institute Of Software Scientifical Constructions Rechnersystem mit Architektur und Verfahren zur Programmierung
FR2688611A1 (fr) * 1992-03-12 1993-09-17 Bull Sa Utilisation d'un langage dont le typage porte sur le contenu des variables et permettant de manipuler des constructions complexes.
JPH06266813A (ja) * 1992-10-19 1994-09-22 Internatl Business Mach Corp <Ibm> プロセス・モデルおよびデータ・モデルを構築するために複数のユーザからデータおよび要求事項を収集し入力するためのデータ収集装置および方法
US6259446B1 (en) 1992-12-23 2001-07-10 Object Technology Licensing Corporation Menu state system
CA2145677C (en) * 1992-12-23 2000-10-24 John R. Matheny Dialog system
US5677997A (en) * 1993-02-11 1997-10-14 Talatik; Kirit K. Method and apparatus for automated conformance and enforcement of behavior in application processing systems
AU681433B2 (en) * 1993-08-03 1997-08-28 Sun Microsystems, Inc. Flexible multi-platform partitioning for computer applications
US5974255A (en) * 1993-10-18 1999-10-26 Motorola, Inc. Method for state-based oriented testing
US5732262A (en) * 1994-01-31 1998-03-24 International Business Machines Corporation Database definition language generator
US5787440A (en) * 1994-03-10 1998-07-28 Crossties Software Corp. Object oriented architecture with bidirectional linking of relationships between objects
US5640550A (en) * 1994-04-15 1997-06-17 Coker; Drake Computer system for generating SQL statements from COBOL code
US5826076A (en) * 1994-05-13 1998-10-20 Liant Software Corporation Computer-based information access method and apparatus to permit SQL-based manipulation of programming language-specific data files
US5522077A (en) * 1994-05-19 1996-05-28 Ontos, Inc. Object oriented network system for allocating ranges of globally unique object identifiers from a server process to client processes which release unused identifiers
US5748973A (en) * 1994-07-15 1998-05-05 George Mason University Advanced integrated requirements engineering system for CE-based requirements assessment
US5758340A (en) * 1994-08-31 1998-05-26 Sterling Software, Inc. System and method for controlled, multi-tiered subsetting of a data model
US5583983A (en) * 1994-11-17 1996-12-10 Objectware, Inc. Multi-platform object-oriented software development and deployment system
US5872909A (en) * 1995-01-24 1999-02-16 Wind River Systems, Inc. Logic analyzer for software
US5664180A (en) * 1995-03-20 1997-09-02 Framework Technologies Corporation Design tool for complex objects which links object structures of a design object in multiple design domains
US5724242A (en) * 1995-03-21 1998-03-03 Caterpillar Inc. Method for producing production control software for a natural gas engine controller
US6269300B1 (en) 1995-03-29 2001-07-31 Caterpillar Inc. Method for producing production control software for a natural gas or diesel engine controller
US5724556A (en) * 1995-04-14 1998-03-03 Oracle Corporation Method and apparatus for defining and configuring modules of data objects and programs in a distributed computer system
US5678044A (en) * 1995-06-02 1997-10-14 Electronic Data Systems Corporation System and method for improved rehosting of software systems
US6266808B1 (en) 1995-06-05 2001-07-24 International Business Machines Corporation Computer program product for enabling the construction of dialogs for commands and templates
US6011917A (en) * 1995-08-23 2000-01-04 International Business Machines Corporation Method and computer system for generating process management computer programs from process models
US5734887A (en) * 1995-09-29 1998-03-31 International Business Machines Corporation Method and apparatus for logical data access to a physical relational database
US5819276A (en) * 1995-10-06 1998-10-06 International Business Machines Corporation Method for supporting multiple file-systems in file input/output operations
FI103155B1 (fi) * 1995-10-11 1999-04-30 Nokia Telecommunications Oy Menetelmä tietokoneohjattujen palvelujen tuottamiseksi
US5864862A (en) * 1996-09-30 1999-01-26 Telefonaktiebolaget Lm Ericsson (Publ) System and method for creating reusable components in an object-oriented programming environment
US5787245A (en) * 1995-11-13 1998-07-28 Object Technology Licensing Corporation Portable debugging service utilizing a client debugger object and a server debugger object
US6158045A (en) * 1995-11-13 2000-12-05 Object Technology Licensing Corporation Portable debugging services utilizing a client debugger object and a server debugger object with flexible addressing support
US6016498A (en) * 1996-03-04 2000-01-18 Bakke; Stephen Peter Object oriented architecture with bidirectional linking of relationships between objects
US5706510A (en) * 1996-03-15 1998-01-06 Hewlett-Packard Company Zymbolic history management system
US5806074A (en) * 1996-03-19 1998-09-08 Oracle Corporation Configurable conflict resolution in a computer implemented distributed database
US5850631A (en) * 1996-03-26 1998-12-15 Bull Hn Information Systems Inc. Method for providing a graphical interface for the specification of relationships between two schemas
US6091895A (en) * 1996-03-27 2000-07-18 International Business Machines Corporation Object oriented central maintenance for programs and scripts
US6113649A (en) * 1996-03-27 2000-09-05 International Business Machines Corporation Object representation of program and script components
US5802514A (en) * 1996-04-09 1998-09-01 Vision Software Tools, Inc. Automated client/server development tool using drag-and-drop metaphor
AU5775898A (en) * 1996-12-13 1998-07-03 Maves International Software, Inc. Method, system and data structures for computer software application developmentand execution
CA2201254C (en) * 1997-03-27 2002-08-20 John Wright Stephenson A system for automated interface generation for computer programs operating in different environments
US6230309B1 (en) * 1997-04-25 2001-05-08 Sterling Software, Inc Method and system for assembling and utilizing components in component object systems
US6173247B1 (en) 1997-06-18 2001-01-09 Dsp Software Engineering, Inc. Method and apparatus for accurately modeling digital signal processors
US6990458B2 (en) * 1997-08-28 2006-01-24 Csg Systems, Inc. System and method for computer-aided technician dispatch and communication
KR100269258B1 (ko) * 1997-10-21 2000-10-16 정선종 프로세스 방법론을 위한 통합 case 정보저장소 메타 모델시스템 및 그 통합 지원 방법
US6654747B1 (en) * 1997-12-02 2003-11-25 International Business Machines Corporation Modular scalable system for managing data in a heterogeneous environment with generic structure for control repository access transactions
US5966707A (en) * 1997-12-02 1999-10-12 International Business Machines Corporation Method for managing a plurality of data processes residing in heterogeneous data repositories
US6182245B1 (en) * 1998-08-31 2001-01-30 Lsi Logic Corporation Software test case client/server system and method
US6742175B1 (en) 1998-10-13 2004-05-25 Codagen Technologies Corp. Component-based source code generator
US7013284B2 (en) * 1999-05-04 2006-03-14 Accenture Llp Component based interface to handle tasks during claim processing
US7617240B2 (en) * 1999-05-04 2009-11-10 Accenture Llp Component based task handling during claim processing
US7979382B2 (en) 1999-05-04 2011-07-12 Accenture Global Services Limited Component based information linking during claim processing
GB2351367A (en) 1999-06-22 2000-12-27 Int Computers Ltd Generating code for processing a database
US20030188300A1 (en) * 2000-02-18 2003-10-02 Patrudu Pilla G. Parallel processing system design and architecture
US6615198B1 (en) 2000-04-10 2003-09-02 Sprint Communications Company, L.P. System and method for creating performance solution tools and performance solutions
AU2001259486A1 (en) * 2000-05-05 2001-11-20 @ Hand Corporation System and method for extending an enterprise network to mobile devices
US7275039B2 (en) * 2000-10-03 2007-09-25 Michael Setteducati Workflow management software overview
AU2002211641A1 (en) * 2000-10-13 2002-04-22 Ciena Corporation Stress-test information database structure and method of use
SE522605C2 (sv) * 2001-11-30 2004-02-24 Kvaser Consultant Ab Anordning för samverkan mellan sytemutvecklingsverktyg
US7181694B2 (en) * 2002-05-31 2007-02-20 Sap Aktiengesellschaft Software customization objects for programming extensions associated with a computer system
US7237225B2 (en) * 2002-08-29 2007-06-26 Sap Aktiengesellschaft Rapid application integration using reusable patterns
US7225425B2 (en) * 2002-08-29 2007-05-29 Sap Aktiengesellschaft Rapid application integration
US7257818B2 (en) * 2002-08-29 2007-08-14 Sap Aktiengesellschaft Rapid application integration using functional atoms
US7213227B2 (en) * 2002-08-29 2007-05-01 Sap Aktiengesellschaft Rapid application integration using an integrated development environment
US7865931B1 (en) 2002-11-25 2011-01-04 Accenture Global Services Limited Universal authorization and access control security measure for applications
US20040148612A1 (en) * 2003-01-27 2004-07-29 Jesse Olsen System and method for generating an application programming interface from a schema
US8126742B2 (en) 2003-05-09 2012-02-28 Accenture Global Services Limited Automated assignment of insurable events
GB0314800D0 (en) 2003-06-25 2003-07-30 Hyfinity Ltd System and associated methods for software assembly
US20050028133A1 (en) * 2003-08-02 2005-02-03 Viswanath Ananth System and method for rapid design, prototyping, and implementation of distributed scalable architecture for task control and automation
US6876314B1 (en) 2004-02-18 2005-04-05 Robocoder Corporation Self-generating automatic code generator
US7318068B2 (en) * 2004-07-22 2008-01-08 International Business Machines Corporation Synchronization of application documentation across database instances
US7318067B2 (en) * 2004-07-22 2008-01-08 International Business Machines Corporation Synchronization of application rules across database instances
US7457793B2 (en) * 2004-10-14 2008-11-25 Sap Ag Investigating execution of a customized transaction process in a computer application
US7457792B2 (en) * 2004-10-14 2008-11-25 Sap Ag Customizing transaction processing in a computer application by using pre-defined functions
US7761396B2 (en) * 2004-10-14 2010-07-20 Sap Ag Apparatus and product of manufacture for adaptive business transaction rule structures
US7457794B2 (en) * 2004-10-14 2008-11-25 Sap Ag Searching for customized processing rules for a computer application
US7756809B2 (en) * 2004-10-14 2010-07-13 Sap Ag Apparatus and product of manufacture using execution points to select conditions and rules for business transaction processing
US7756808B2 (en) * 2004-10-14 2010-07-13 Sap Ag Apparatus and product of manufacture for using condition data structures separately from rule data structures in business transactions
US20060229888A1 (en) * 2005-03-31 2006-10-12 Renzo Colle Defining transaction processing for a computer application
US20060242640A1 (en) * 2005-04-22 2006-10-26 Heinz Pauly System and method for business software integration
US7464105B2 (en) * 2005-07-06 2008-12-09 International Business Machines Corporation Method for performing semi-automatic dataset maintenance
US7933786B2 (en) 2005-11-01 2011-04-26 Accenture Global Services Limited Collaborative intelligent task processor for insurance claims
US7505983B2 (en) * 2006-06-26 2009-03-17 Sap Ag Extending data flows
US8365200B1 (en) 2006-06-30 2013-01-29 Sap Ag Using cancellation status models in a computer system
US20080005625A1 (en) * 2006-06-30 2008-01-03 Frank Michael Kraft Using Status Models with Preconditions in a Computer System
US8122063B2 (en) 2006-06-30 2012-02-21 Sap Ag Using status models in a computer system
US8200715B1 (en) 2006-06-30 2012-06-12 Sap Ag Using status models with adaptable process steps in a computer system
US7966621B2 (en) * 2006-06-30 2011-06-21 Sap Ag Using multiple status models in a computer system
US20080005743A1 (en) * 2006-06-30 2008-01-03 Frank Michael Kraft Using Status Models with Status Transitions in a Computer System
US8706776B1 (en) 2006-06-30 2014-04-22 Sap Ag Extending status models in a computer system
US8522261B2 (en) * 2006-06-30 2013-08-27 Sap Ag Using status models with state guards in a computer system
US20080140472A1 (en) * 2006-12-12 2008-06-12 Dagan Gilat Method and Computer Program Product for Modeling an Organization
US8219650B2 (en) 2006-12-28 2012-07-10 Sap Ag Communicating with a status management component in a computer system
US8141032B2 (en) * 2007-02-02 2012-03-20 Microsoft Corporation N-tiered applications support via common interface
KR101552188B1 (ko) * 2007-09-07 2015-09-10 삼성전자 주식회사 콤포넌트 모델 및 아키텍쳐 설계를 위한 내제된 가변성규칙을 제공하는 방법 및 장치
US7945594B2 (en) * 2007-09-27 2011-05-17 Sap Ag Using status models with inhibiting status values in a computer system
US8478769B2 (en) 2008-02-22 2013-07-02 Accenture Global Services Limited Conversational question generation system adapted for an insurance claim processing system
US8515786B2 (en) 2008-02-22 2013-08-20 Accenture Global Services Gmbh Rule generation system adapted for an insurance claim processing system
US8504980B1 (en) 2008-04-14 2013-08-06 Sap Ag Constraining data changes during transaction processing by a computer system
US8473898B2 (en) * 2008-07-08 2013-06-25 Synapsense Corporation Apparatus and method for building integrated distributed applications for use with a mesh network
US20130246995A1 (en) * 2012-03-13 2013-09-19 Outsystems - Software Em Rede S.A. Systems, methods, and apparatus for model-based security control
US8996472B2 (en) 2012-04-16 2015-03-31 Sap Se Verification of status schemas based on business goal definitions
US8996473B2 (en) 2012-08-06 2015-03-31 Sap Se Checking compatibility of extended and core SAM schemas based on complex goals
US9021432B2 (en) 2013-03-05 2015-04-28 Sap Se Enrichment of entity relational model
US10417594B2 (en) 2013-05-02 2019-09-17 Sap Se Validation of functional correctness of SAM schemas including action chains
US20150066163A1 (en) * 2013-08-28 2015-03-05 Honeywell International Inc. System and method for multi-domain structural analysis across applications in industrial control and automation system
WO2015063675A1 (en) * 2013-10-28 2015-05-07 WARNAKULASURIYA, Dishan, Amrit, Jitendrakumar Data processing
DE102014210854A1 (de) 2014-06-06 2015-12-17 Oliver Rode Computerimplementiertes Verfahren und Signalfolge für ein Programm zur Wiederverwendung von ausführbaren Softwarekonfigurationen für Softwaresysteme sowie Rechneranlage und ein Computerprogramm mit Programmcode zur Durchführung des Verfahrens
DE202014006343U1 (de) 2014-08-07 2014-08-21 Db Systel Gmbh Rechneranlage, Datenträger sowie Signalfolge für ein Programm zur Wiederverwendung von ausführbaren Softwarekonfigurationen für Softwaresysteme

Family Cites Families (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPS56168263A (en) * 1980-05-30 1981-12-24 Hitachi Ltd Program making device
US4558413A (en) * 1983-11-21 1985-12-10 Xerox Corporation Software version management system
US4622633A (en) * 1983-12-06 1986-11-11 Tri Sigma Corporation Object building method for self configuring computer network
JPH0640302B2 (ja) * 1984-01-30 1994-05-25 株式会社日立製作所 図式・ソ−スプログラム自動生成方法
US4888690A (en) * 1985-01-11 1989-12-19 Wang Laboratories, Inc. Interactive error handling means in database management
US4734854A (en) * 1985-10-08 1988-03-29 American Telephone And Telegraph Company System for generating software source code components
US5202996A (en) * 1985-10-11 1993-04-13 Hitachi, Ltd. Software structuring system and method by data table translation
JPS62128332A (ja) * 1985-11-30 1987-06-10 Toshiba Corp デ−タ処理装置
US4833604A (en) * 1986-01-13 1989-05-23 International Business Machines Corporation Method for the relocation of linked control blocks
US4939689A (en) * 1987-04-09 1990-07-03 Crowninshield Software, Inc. Outline-driven database editing and retrieval system
US4809170A (en) * 1987-04-22 1989-02-28 Apollo Computer, Inc. Computer device for aiding in the development of software system
US4930071A (en) * 1987-06-19 1990-05-29 Intellicorp, Inc. Method for integrating a knowledge-based system with an arbitrary database system
US4862345A (en) * 1987-11-16 1989-08-29 Litwin Engineers & Constructors, Inc. Process plant instrumentation design system
JPH01162979A (ja) * 1987-12-19 1989-06-27 Ricoh Co Ltd データベース管理システムの機能拡張装置
US4866638A (en) * 1988-03-04 1989-09-12 Eastman Kodak Company Process for producing human-computer interface prototypes
US5084813A (en) * 1988-04-20 1992-01-28 Kabushiki Kaisha Toshiba Rule based system for synthesizing a program suited for a target system in response to an input target system specification

Also Published As

Publication number Publication date
JPH05504858A (ja) 1993-07-22
DK0502975T3 (da) 1998-02-23
US5295222A (en) 1994-03-15
DE69031078D1 (de) 1997-08-21
CA2069945A1 (en) 1991-05-31
AU648533B2 (en) 1994-04-28
EP0502975A4 (en) 1993-03-31
WO1991008543A1 (en) 1991-06-13
NZ236299A (en) 1995-07-26
EP0502975A1 (de) 1992-09-16
ES2106771T3 (es) 1997-11-16
EP0502975B1 (de) 1997-07-16
DE69031078T2 (de) 1998-01-15
AU6955991A (en) 1991-06-26

Similar Documents

Publication Publication Date Title
ATE155593T1 (de) Rechnerunterstützte softwareentwicklungseinrichtung
ATE141423T1 (de) Anordnung zur teilung eines generischen kodes für ein digitales datenverarbeitungssystem
Oughourlian et al. ANSR-III: general purpose computer program for nonlinear structural analysis
Bazelmans Evolution of configuration management
GEOFFRION Modeling approaches and systems related to structured modeling
DEJONG MIMOSE: A software tool to support simulator development
SCHROER et al. Automatic programming of simulation models(Final Report)
Verheul et al. Bond graph based modelling using MACROS: An introduction to the program BAMMS
MUMM et al. An event-activation record approach to simulation modeling in Ada: User's guide(Final Report, Nov. 1989- Jul. 1990)
Borrego et al. A space logistics simulation implementation in ADA
KOSTIUK et al. Digital-computer software for simulation of dynamic systems of automatic control
GOSWAMI et al. DSIM: A distributed simulator(Final Report)
MOFFITT A language translator for a computer aided rapid prototyping system(Annual Report, Sep. 1987- Aug. 1988 M. S. Thesis)
OLOUGHIN Version and variation control of a design database for a computer aided prototyping system(M. S. Thesis)
Peterson et al. Modeling complex manufacturing systems- a case study.
THEOFILOU 2-D signal generation using state-space formulation(M. S. Thesis)
STANCULESCU SIMULATION OF MULTI-PROCESSING MICROCODED ARCHITECTURES (ADA, MACHINE-INDEPENDENCY, DISTRIBUTED, RESOURCE ALLOCATION, CORRECTNESS, DESCRIPTIONS)
Atlas MIxed level functional specification: A modeling methodology for computer system simulation.
EP0404316A3 (de) Multiprozessordatenverarbeitungssystem
CAVITT et al. An assessment of Ada's suitability in general purpose programming applications(M. S. Thesis)
BAYRAMOGLU The design and implementation of an expander for the hierarchical real-time constraints of Computer Aided Prototyping System(CAPS)(M. S. Thesis)
Moon et al. Gnu Ada'95 Runtime Library (GNARL): Tasking Implementation and Performance Improvement
Freeman et al. Software development methodologies and Ada. Ada methodologies: Concepts and requirements, Ada methodology questionnaire summary, comparing software design methods for Ada: A study plan
LUCKHAM Techniques for the design and implementation of highly reliable multi-processing systems(Final Report, 1 Apr. 1987- 31 Jul. 1991)
DWYER et al. The development of a design database for the computer aided prototyping system(M. S. Thesis)

Legal Events

Date Code Title Description
REN Ceased due to non-payment of the annual fee
UEP Publication of translation of european patent specification