DE3751566D1 - Anzeigeverfahren in einem Unterstützungssystem zur Software-Entwicklung. - Google Patents

Anzeigeverfahren in einem Unterstützungssystem zur Software-Entwicklung.

Info

Publication number
DE3751566D1
DE3751566D1 DE3751566T DE3751566T DE3751566D1 DE 3751566 D1 DE3751566 D1 DE 3751566D1 DE 3751566 T DE3751566 T DE 3751566T DE 3751566 T DE3751566 T DE 3751566T DE 3751566 D1 DE3751566 D1 DE 3751566D1
Authority
DE
Germany
Prior art keywords
support system
software development
display procedure
procedure
display
Prior art date
Legal status (The legal status 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 status listed.)
Expired - Fee Related
Application number
DE3751566T
Other languages
English (en)
Other versions
DE3751566T2 (de
Inventor
Ichiro Naito
Hiroyuki Maezawa
Junko Yamaguchi
Hidetosi Katumata
Takeshi Oshio
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Hitachi Ltd
Hitachi Computer Engineering Co Ltd
Hitachi Seibu Software Co Ltd
Original Assignee
Hitachi Ltd
Hitachi Computer Engineering Co Ltd
Hitachi Seibu Software Co Ltd
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 Hitachi Ltd, Hitachi Computer Engineering Co Ltd, Hitachi Seibu Software Co Ltd filed Critical Hitachi Ltd
Publication of DE3751566D1 publication Critical patent/DE3751566D1/de
Application granted granted Critical
Publication of DE3751566T2 publication Critical patent/DE3751566T2/de
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3664—Environments for testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/71—Version control; Configuration management

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Computer Security & Cryptography (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
DE3751566T 1986-11-20 1987-11-19 Anzeigeverfahren in einem Unterstützungssystem zur Software-Entwicklung. Expired - Fee Related DE3751566T2 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP61275207A JP2523289B2 (ja) 1986-11-20 1986-11-20 ソフトウエア開発支援システムにおける表示方法

Publications (2)

Publication Number Publication Date
DE3751566D1 true DE3751566D1 (de) 1995-11-23
DE3751566T2 DE3751566T2 (de) 1996-04-11

Family

ID=17552184

Family Applications (1)

Application Number Title Priority Date Filing Date
DE3751566T Expired - Fee Related DE3751566T2 (de) 1986-11-20 1987-11-19 Anzeigeverfahren in einem Unterstützungssystem zur Software-Entwicklung.

Country Status (5)

Country Link
EP (1) EP0268293B1 (de)
JP (1) JP2523289B2 (de)
KR (1) KR960003048B1 (de)
CN (1) CN1012292B (de)
DE (1) DE3751566T2 (de)

Families Citing this family (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH0247720A (ja) * 1988-08-08 1990-02-16 Nec Corp 木構造情報比較装置
GB2280288B (en) * 1993-07-20 1998-04-08 Northern Telecom Ltd Code sequence detection
CA2155592A1 (en) * 1994-09-16 1996-03-17 David Alan Ladd Detection of modifications in computer programs
US5699507A (en) * 1995-01-17 1997-12-16 Lucent Technologies Inc. Method of identifying similarities in code segments
US5574837A (en) * 1995-01-17 1996-11-12 Lucent Technologies Inc. Method of generating a browser interface for representing similarities between segments of code
JP4726519B2 (ja) * 2005-03-28 2011-07-20 富士通株式会社 画面定義データ差分抽出方法、装置及びプログラム
JP6383240B2 (ja) * 2014-10-17 2018-08-29 株式会社東芝 制御プログラム保守装置、及び制御プログラム保守方法

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US3711863A (en) * 1972-01-21 1973-01-16 Honeywell Inf Systems Source code comparator computer program
JPS5714954A (en) * 1980-07-02 1982-01-26 Mitsubishi Electric Corp Program debugging device of computer
JPS57155651A (en) * 1981-03-19 1982-09-25 Mitsubishi Electric Corp Program debug device
JPS6033640A (ja) * 1983-08-03 1985-02-21 Fujitsu Ltd デ−タ・モニタ方式
JPS6053331A (ja) * 1983-09-02 1985-03-27 Seiko Epson Corp 無線器
JPS61249148A (ja) * 1985-04-26 1986-11-06 Mitsubishi Electric Corp プログラムのトレ−ス方式

Also Published As

Publication number Publication date
EP0268293B1 (de) 1995-10-18
JP2523289B2 (ja) 1996-08-07
CN1012292B (zh) 1991-04-03
EP0268293A3 (de) 1992-05-13
KR960003048B1 (ko) 1996-03-04
DE3751566T2 (de) 1996-04-11
EP0268293A2 (de) 1988-05-25
KR880006614A (ko) 1988-07-23
JPS63129419A (ja) 1988-06-01
CN87107925A (zh) 1988-07-20

Similar Documents

Publication Publication Date Title
DE3789724D1 (de) System zur Prüfung von interaktiver Software.
DE3751901D1 (de) Einrichtung zur Benutzung in einem Computer
DE3884034D1 (de) Verfahren zur Überprüfung von Computersoftware.
GB2191918B (en) Data display system
KR890010593A (ko) 디스플레이 시스템
DK304088A (da) Krystallinske metalaluminophospater samt en fremg angsmaade til fremstilling heraf
DE3855639D1 (de) Grafisches Anzeigeverfahren
EP0313848A3 (en) Data processor with development support features
DE3689271D1 (de) Verfahren zur Bildanzeige.
DE3784210D1 (de) Unterbrechungssteuerungsverfahren in einem mehrprozessorsystem.
DE3853489D1 (de) Grafik-Anzeigesystem.
DE3776771D1 (de) Vorrichtung zur kursanzeige.
DE3765257D1 (de) Vorrichtung zur zurschaustellung von gegenstaenden.
DE3786381D1 (de) Pruefverfahren und -geraet fuer ein verteiltes verarbeitungssystem.
DE68907998D1 (de) System zur kurskorrektur eines rotierenden projektils.
DE3677862D1 (de) Vorrichtung zur herzunterstuetzung.
DE69027069D1 (de) Anzeigesystem
DE3751435D1 (de) Vorrichtung zur Kursanzeige.
DE3785465D1 (de) Festzeichenreihenabschneidung in einem graphischen anzeigesystem.
DE3750920D1 (de) Anzeigeendgerät in einem digitalen Datensystem.
DK360987D0 (da) Understoetningssystem
DE3751566D1 (de) Anzeigeverfahren in einem Unterstützungssystem zur Software-Entwicklung.
DE3787813D1 (de) Zeichnen von breiten Linien in einem System zur Wiedergabe von graphischen Darstellungen.
DE68927691D1 (de) Datenprozessor zur Ausführung der Division von Vorzeichenzahlen in nur wenigen Programmschritten
DE3765692D1 (de) Einrichtung zur echokompensation in einem duplex-digitaluebertragungssystem.

Legal Events

Date Code Title Description
8364 No opposition during term of opposition
8339 Ceased/non-payment of the annual fee