|
СТ |
Proof Scores in the OTS/CafeOBJ Method |
2003 |
Ogata K., Futatsugi K. |
|
|
|
Lecture Notes in Computer Science |
18.12.2003 |
|
СТ |
Formal Verification of the Horn-Preneel Micropayment Protocol |
2003 |
Ogata K., Futatsugi K. |
|
|
|
Lecture Notes in Computer Science |
31.01.2003 |
|
СТ |
Formal Methods in CafeOBJ |
2002 |
Futatsugi K. |
|
|
|
Lecture Notes in Computer Science |
25.10.2002 |
|
СТ |
Highly Reliable Component-Based Software Development by using Algebraic Behavioral Specification |
2000 |
Matsumoto M., Futatsugi K. |
|
|
|
Proc. of Third IEEE Intern Conf. on Formal Engineering Methods - ICFEM 2000 |
26.12.2000 |
|
СТ |
Verifying Behavioural Specifications in CafeOBJ Environment |
1999 |
Mori A., Futatsugi K. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Component-Based Algebraic Specification and Verification in CafeOBJ |
1999 |
Diaconescu R., Futatsugi K., Iida S. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
Algebraic Approaches for Nets Using Formulas to Describe Practical Software Systems |
1993 |
Ohmaki K., Sato Y., Ogata I., Futatsugi K. |
|
|
|
IEICE Trans. |
20.04.1994 |
|
СТ |
Structuring and Derivation in Algebraic Specification/Programming Language System |
1991 |
Futatsugi K. |
|
|
|
J. Information Processing |
25.09.1991 |
