| Presentation | 1994/11/17 A Document Generation System for Abstract Sequential Machine Specifications Tomoyuki Kudoh, Yasunori Ishihara, Hiroyuki Seki, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this study,we are implementing a system which generates a document in a hypertext from an algebraic specification of an abstract sequential machine.The document consists of a reduced transition graph and natural language sentences which explain axioms in the specification.A user and the system divide the whole space of states into subspaces interactively.A reduced transition graph denotes transitions among the subspaces of states.The sentences explain transitions from each subspace of states.The document can help a user understand behavior of the abstract sequential machine defined by the given specification. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | abstract sequential machine / algebraic specifications / document / reduced transition graph / sentence generation |
| Paper # | SS94-35 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 1994/11/17(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 | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Document Generation System for Abstract Sequential Machine Specifications |
| Sub Title (in English) | |
| Keyword(1) | abstract sequential machine |
| Keyword(2) | algebraic specifications |
| Keyword(3) | document |
| Keyword(4) | reduced transition graph |
| Keyword(5) | sentence generation |
| 1st Author's Name | Tomoyuki Kudoh |
| 1st Author's Affiliation | Graduate School of Information Science,Nara Institute of Science and Technology() |
| 2nd Author's Name | Yasunori Ishihara |
| 2nd Author's Affiliation | Graduate School of Information Science,Nara Institute of Science and Technology |
| 3rd Author's Name | Hiroyuki Seki |
| 3rd Author's Affiliation | Graduate School of Information Science,Nara Institute of Science and Technology |
| Date | 1994/11/17 |
| Paper # | SS94-35 |
| Volume (vol) | vol.94 |
| Number (no) | 334 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |