Presentation | 1993/5/19 The development of practicrble formal specification language Takehiro Honma, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Today it′s impartant problem to generaliyc formal mcthod may whi ch produces possifibity that rationalizc and standardizc the process to analyzc and difine of specification.OBJ is the possifle languagc system on method of argefranic spciefication technigue and up to the prescnt some systems mere already made.So it is qpparent that these thonghts ore possible. This rescarch work intends to adjnst the fasc from some sides for making practicable on OBJ.This essay reports its content. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | formal methods / model theoretic semantics / algebraic specification / creeping formalism |
Paper # | KBSE93-2 |
Date of Issue |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 1993/5/19(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Knowledge-Based Software Engineering (KBSE) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | The development of practicrble formal specification language |
Sub Title (in English) | |
Keyword(1) | formal methods |
Keyword(2) | model theoretic semantics |
Keyword(3) | algebraic specification |
Keyword(4) | creeping formalism |
1st Author's Name | Takehiro Honma |
1st Author's Affiliation | Information-technology Promotion Agency,Japan() |
Date | 1993/5/19 |
Paper # | KBSE93-2 |
Volume (vol) | vol.93 |
Number (no) | 30 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |