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
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)
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)
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)
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 | プログラムのトレ−ス方式 |
-
1986
- 1986-11-20 JP JP61275207A patent/JP2523289B2/ja not_active Expired - Fee Related
-
1987
- 1987-11-13 KR KR1019870012807A patent/KR960003048B1/ko not_active IP Right Cessation
- 1987-11-19 EP EP87117073A patent/EP0268293B1/de not_active Expired - Lifetime
- 1987-11-19 DE DE3751566T patent/DE3751566T2/de not_active Expired - Fee Related
- 1987-11-20 CN CN87107925A patent/CN1012292B/zh not_active Expired
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 |