Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10366561 | Information and Software Technology | 2011 | 10 Pages |
Abstract
This paper proposed a methodology to describe system specification with both timing diagram and SL/SF. The strategy might help designers more efficiently describe specifications. In addition, the mixed specification can be simulated in SL/SF, and the specification can utilize other third party SL/SF tools such as test case generation or model check utilities.
Related Topics
Physical Sciences and Engineering
Computer Science
Human-Computer Interaction
Authors
Hongsuk Lee, Kihyun Chung, Hyunsang Park, Kyunghee Choi,