default search action
Kokichi Futatsugi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j30]Kokichi Futatsugi
:
Advances of proof scores in CafeOBJ. Sci. Comput. Program. 224: 102893 (2022) - 2021
- [c97]Kokichi Futatsugi:
Advances of Proof Scores in CafeOBJ : Invited Paper. TASE 2021: 3-12 - [i1]Kokichi Futatsugi:
Advances of Proof Scores in CafeOBJ. CoRR abs/2112.10373 (2021) - 2020
- [j29]Daniel Gaina
Stability of termination and sufficient-completeness under pushouts via amalgamation. Theor. Comput. Sci. 848: 82-105 (2020) - [c96]Takafumi Komoto, Kokichi Futatsugi, Nobukazu Yoshioka:
A Method for Assessing the Reliability of Business Processes that Reflects Transaction Documents Checking for each Department. COMPSAC 2020: 1783-1788
2010 – 2019
- 2017
- [j28]Adrián Riesco
A Maude environment for CafeOBJ. Formal Aspects Comput. 29(2): 309-334 (2017) - 2016
- [c95]Takafumi Komoto, Kokichi Futatsugi, Nobukazu Yoshioka
Assessing Business Processes by Checking Transaction Documents for Inconsistency Risks and a Tool for Risk Assessment. BMSD 2016: 70-82 - [c94]Adrián Riesco
CafeInMaude: A CafeOBJ Interpreter in Maude. FASE 2016: 377-380 - 2015
- [j27]Daniel Gâinâ
Initial semantics in logics with constructors. J. Log. Comput. 25(1): 95-116 (2015) - [c93]Min Zhang
Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates. APSEC 2015: 159-166 - [c92]Kokichi Futatsugi:
Generate & Check Method for Verifying Transition Systems in CafeOBJ. Software, Services, and Systems 2015: 171-192 - [c91]Kokichi Futatsugi:
Generic Proof Scores for Generate & Check Method in CafeOBJ. Logic, Rewriting, and Concurrency 2015: 287-310 - [c90]Masaki Nakamura, Daniel Gâinâ
Proving Sufficient Completeness of Constructor-Based Algebraic Specifications. CSA/CUTE 2015: 15-21 - [c89]Hiroyuki Yoshida, Kazuhiro Ogata, Kokichi Futatsugi:
Formalization and Verification of Declarative Cloud Orchestration. ICFEM 2015: 33-49 - 2014
- [c88]Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi:
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications. Specification, Algebra, and Software 2014: 92-109 - [c87]Min Zhang
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method. Specification, Algebra, and Software 2014: 560-577 - [c86]Daniel Gâinâ
On Automation of OTS/CafeOBJ Method. Specification, Algebra, and Software 2014: 578-602 - [c85]Kazuhiro Ogata, Kokichi Futatsugi:
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs. Specification, Algebra, and Software 2014: 630-656 - [c84]Norbert Preining, Kazuhiro Ogata, Kokichi Futatsugi:
Liveness Properties in CafeOBJ - A Case Study for Meta-Level Specifications. LOPSTR 2014: 182-198 - 2013
- [j26]Kazuhiro Ogata, Kokichi Futatsugi:
Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method. J. Univers. Comput. Sci. 19(6): 771-804 (2013) - [c83]Hirokazu Yatsu, Takahiro Ando, Weiqiang Kong, Kenji Hisazumi
Towards Formal Description of Standards for Automotive Operating Systems. ICST Workshops 2013: 13-14 - [c82]Min Zhang
Formalization and Verification of Behavioral Correctness of Dynamic Software Updates. VSSE 2013: 12-23 - 2012
- [j25]Yasuhito Arimoto, Shusaku Iida, Kokichi Futatsugi:
Formal Verification of Effectiveness of Control Activities in Business Processes. IEICE Trans. Inf. Syst. 95-D(5): 1342-1354 (2012) - [j24]Daniel Gâinâ, Kokichi Futatsugi, Kazuhiro Ogata:
Constructor-based Logics. J. Univers. Comput. Sci. 18(16): 2204-2233 (2012) - [j23]Kokichi Futatsugi, Daniel Gâinâ
Principles of proof scores in CafeOBJ. Theor. Comput. Sci. 464: 90-112 (2012) - [c81]Min Zhang
An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms. APSEC 2012: 664-673 - 2011
- [j22]Yuan Li, Haibin Kan, Kokichi Futatsugi:
A Note on "On the Construction of Boolean Functions with Optimal Algebraic Immunity". IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 94-A(9): 1877-1880 (2011) - [c80]Takafumi Komoto, Kenji Taguchi, Haralambos Mouratidis
A Modelling Framework to Support Internal Control. SSIRI (Companion) 2011: 187-193 - 2010
- [j21]Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
Towards Reliable E-Government Systems with the OTS/CafeOBJ Method. IEICE Trans. Inf. Syst. 93-D(5): 974-984 (2010) - [j20]Kazuhiro Ogata, Kokichi Futatsugi:
Proof Score Approach to Analysis of Electronic Commerce Protocols. Int. J. Softw. Eng. Knowl. Eng. 20(2): 253-287 (2010) - [j19]Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi:
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications. J. Symb. Comput. 45(5): 551-573 (2010) - [c79]Kokichi Futatsugi:
Fostering Proof Scores in CafeOBJ. ICFEM 2010: 1-20 - [c78]Kazuhiro Ogata, Kokichi Futatsugi:
A Combination of Forward and Backward Reachability Analysis Methods. ICFEM 2010: 501-517 - [c77]Tomonori Izumida, Kokichi Futatsugi, Akira Mori:
A Generic Binary Analysis Method for Malware. IWSEC 2010: 199-216
2000 – 2009
- 2009
- [j18]Masaki Nakamura, Kazuhiro Ogata, Kokichi Futatsugi:
User-Defined On-Demand Matching. IEICE Trans. Inf. Syst. 92-D(7): 1401-1411 (2009) - [c76]Daniel Gâinâ
Constructor-Based Institutions. CALCO 2009: 398-412 - 2008
- [j17]Masaki Nakamura, Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
A Specification Translation from Behavioral Specifications to Rewrite Specifications. IEICE Trans. Inf. Syst. 91-D(5): 1492-1503 (2008) - [j16]Kazuhiro Ogata, Kokichi Futatsugi:
Proof Score Approach to Verification of Liveness Properties. IEICE Trans. Inf. Syst. 91-D(12): 2804-2817 (2008) - [c75]Weiqiang Kong, Kazuhiro Ogata, Jian Cheng, Kokichi Futatsugi:
Trace anonymity in the OTS/CafeOBJ method. CIT 2008: 754-759 - [c74]Jianwen Xiang, Dines Bjørner, Kokichi Futatsugi:
Formal digital license language with OTS/CafeOBJ method. AICCSA 2008: 652-660 - [c73]Yasuhito Arimoto, Michiharu Kudo, Yuji Watanabe, Kokichi Futatsugi:
Checking assignments of controls to risks for internal control. ICEGOV 2008: 98-104 - [c72]Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes. ICFEM 2008: 187-206 - 2007
- [j15]Kazuhiro Ogata, Kokichi Futatsugi:
Comparison of Maude and SAL by Conducting Case Studies Model Checking a Distributed Algorithm. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(8): 1690-1703 (2007) - [j14]Kazuhiro Ogata, Kokichi Futatsugi:
State Machines as Inductive Types. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(12): 2985-2988 (2007) - [j13]Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints. Int. J. Softw. Eng. Knowl. Eng. 17(1): 3-32 (2007) - [j12]Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi:
CrÈme: an Automatic Invariant Prover of Behavioral Specifications. Int. J. Softw. Eng. Knowl. Eng. 17(6): 783-804 (2007) - [j11]Jianwen Xiang, Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi:
From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ. Inf. Media Technol. 2(2): 448-460 (2007) - [j10]Kazuhiro Ogata, Kokichi Futatsugi:
Modeling and verification of real-time systems based on equations. Sci. Comput. Program. 66(2): 162-180 (2007) - [c71]Xiaoyi Chen, Weiqiang Kong, Kokichi Futatsugi:
Formal support for e-government system design with transparency consideration. ICEGOV 2007: 20-29 - [c70]Masaki Nakamura, Kokichi Futatsugi:
On Equality Predicates in Algebraic Specification Languages. ICTAC 2007: 381-395 - [c69]Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. IFM 2007: 393-412 - [c68]Kazuhiro Ogata, Kokichi Futatsugi:
Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method. REFINE@IFM 2007: 127-154 - 2006
- [j9]Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer:
Joseph Goguen (1941-2006). Bull. EATCS 90: 199-201 (2006) - [j8]Masaki Nakamura, Masahiro Watanabe, Kokichi Futatsugi:
A Behavioral Specification of Imperative Programming Languages. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(6): 1558-1565 (2006) - [j7]Hidetaka Kondoh, Kokichi Futatsugi:
To use or not to use the goto statement: Programming styles viewed from Hoare Logic. Sci. Comput. Program. 60(1): 82-116 (2006) - [c67]Kazuhiro Ogata, Kokichi Futatsugi:
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method. Essays Dedicated to Joseph A. Goguen 2006: 596-615 - [c66]Kazuhiro Ogata, Masahiro Nakano, Weiqiang Kong, Kokichi Futatsugi:
Induction-Guided Falsification. ICFEM 2006: 114-131 - [c65]Kokichi Futatsugi:
Verifying Specifications with Proof Scores in CafeOBJ. ASE 2006: 3-10 - [c64]Masahiro Nakano, Kazuhiro Ogata, Masaki Nakamura, Kokichi Futatsugi:
Automating Invariant Verification of Behavioral Specifications. QSIC 2006: 49-56 - [c63]Kazuhiro Ogata, Weiqiang Kong, Kokichi Futatsugi:
Falsification of OTSs by Searches of Bounded Reachable State Spaces. SEKE 2006: 440-445 - [c62]Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi, Kazuhiro Ogata:
Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management. WEBIST (2) 2006: 5-12 - [e5]Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer:
Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 4060, Springer 2006, ISBN 3-540-35462-X [contents] - 2005
- [j6]Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi:
Mechanically supporting case analysis for verification of distributed systems. Int. J. Pervasive Comput. Commun. 1(2): 135-146 (2005) - [c61]Kazuhiro Ogata, Kokichi Futatsugi:
Analysis of the Suzuki-Kasami Algorithm with SAL Model Checkers. CIT 2005: 937-943 - [c60]Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, Kazuhiro Ogata:
A Lightweight Integration of Theorem Proving and Model Checking for System Verification. APSEC 2005: 59-66 - [c59]Kazuhiro Ogata, Kokichi Futatsugi:
Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. APSEC 2005: 159-166 - [c58]Kazuhiro Ogata, Kokichi Futatsugi:
Equational Approach to Formal Analysis of TLS. ICDCS 2005: 795-804 - [c57]Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, Kokichi Futatsugi:
Chocolat/SMV: A Translator from CafeOBJ into SMV. PDCAT 2005: 416-420 - [c56]Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of Workflow Systems with Security Considerations. SEKE 2005: 531-536 - [c55]Kazuhiro Ogata, Kokichi Futatsugi:
Proof Score Approach to Verification of Liveness Properties. SEKE 2005: 608-613 - [c54]Jittisak Senachak, Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi:
Provably Correct Translation from CafeOBJ into Java. SEKE 2005: 614-619 - [c53]Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogata:
Verifying Design with Proof Scores. VSTTE 2005: 277-290 - [c52]Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi:
A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method. RULE@RDP 2005: 57-72 - 2004
- [c51]Takahiro Seino, Kazuhiro Ogata, Kokichi Futatsugi:
Supporting Case Analysis with Algebraic Specification Languages. CIT 2004: 1073-1080 - [c50]Weiqiang Kong, Kazuhiro Ogata, Jianwen Xiang, Kokichi Futatsugi:
Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol. CIT 2004: 1100-1107 - [c49]Jianwen Xiang, Kokichi Futatsugi, Yanxiang He:
Fault Tree and Formal Methods in System Safety Analysis. CIT 2004: 1108-1115 - [c48]Jianwen Xiang, Kokichi Futatsugi, Yanxiang He:
Formal fault tree construction and system safety analysis. IASTED Conf. on Software Engineering 2004: 378-384 - [c47]Jianwen Xiang, Kokichi Futatsugi, Yanxiang He:
Formal construction model and specification of fault tree. IASTED Conf. on Software Engineering and Applications 2004: 374-381 - [c46]Natenapa Sriharee, Twittie Senivongse, Chayan Teppaboot, Kokichi Futatsugi:
Adding Semantics to Attribute-Based Discovery of Web Services. International Conference on Internet Computing 2004: 790-794 - [c45]Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi:
Modeling and Verification of Hybrid Systems Based on Equations. DIPES 2004: 43-52 - [c44]Kazuhiro Ogata, Kokichi Futatsugi:
Equational Approach to Formal Verification of SET. QSIC 2004: 50-59 - [e4]Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki:
Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers. Lecture Notes in Computer Science 3233, Springer 2004, ISBN 3-540-23635-X [contents] - 2003
- [j5]Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata:
CafeOBJ: Logical Foundations and Methodologies. Comput. Artif. Intell. 22(3-4): 257-283 (2003) - [j4]Kazuhiro Ogata, Kokichi Futatsugi:
Flaw and modification of the iKP electronic payment protocols. Inf. Process. Lett. 86(2): 57-62 (2003) - [c43]Toshimi Sawada, Kouichi Kishida, Kokichi Futatsugi:
Past, Present, and Future of SRA Implementation of CafeOBJ: Annex. FME 2003: 7-17 - [c42]Kazuhiro Ogata, Kokichi Futatsugi:
Proof Scores in the OTS/CafeOBJ Method. FMOODS 2003: 170-184 - [c41]Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of the NetBill Electronic Commerce Protocol. ISSS 2003: 45-64 - [c40]Kazuhiro Ogata, Kokichi Futatsugi:
Formal Verification of the Horn-Preneel Micropayment Protocol. VMCAI 2003: 238-252 - 2002
- [j3]Razvan Diaconescu, Kokichi Futatsugi:
Logical foundations of CafeOBJ. Theor. Comput. Sci. 285(2): 289-318 (2002) - [c39]Chayan Tapabut, Twittie Senivongse, Kokichi Futatsugi:
Defining Attribute Templates for Descriptions of Distributed Services. APSEC 2002: 425-434 - [c38]Kokichi Futatsugi:
Formal Methods in CafeOBJ. FLOPS 2002: 1-20 - [c37]Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of Suzuki & Kasami Distributed Mutual Exclusion Algorithm. FMOODS 2002: 181-195 - [c36]Kazuhiro Ogata, Kokichi Futatsugi:
Formal Analysis of the iKP Electronic Payment Protocols. ISSS 2002: 441-460 - [c35]Akira Mori, Kokichi Futatsugi:
CafeOBJ as a Tool for Behavioral System Verification. ISSS 2002: 461-470 - [c34]Kazuhiro Ogata, Kokichi Futatsugi:
Rewriting-Based Verification of Authentication Protocols. WRLA 2002: 208-222 - 2001
- [c33]Kazuhiro Ogata, Kokichi Futatsugi:
Formally Modeling and Verifying Ricart&Agrawala Distributed Mutual Exclusion Algorithm. APAQS 2001: 357-366 - [c32]Kazuhiro Ogata, Kokichi Futatsugi:
Specifying and verifying a railroad crossing with CafeOBJ. IPDPS 2001: 150 - [c31]Kazuhiro Ogata, Kokichi Futatsugi:
Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ. ASE 2001: 185-192 - 2000
- [j2]Razvan Diaconescu, Kokichi Futatsugi:
Behavioural Coherence in Object-Oriented Algebraic Specification. J. Univers. Comput. Sci. 6(1): 74-96 (2000) - [c30]Michihiro Matsumoto, Kokichi Futatsugi:
The support tool for highly reliable component-based software development. APSEC 2000: 172-179 - [c29]Michihiro Matsumoto, Kokichi Futatsugi:
Highly Reliable Component-Based Software Development by Using Algebraic Behavioral Specification. ICFEM 2000: 35-44 - [c28]Kazuhiro Ogata, Kokichi Futatsugi:
Operational Semantics of Rewriting with the On-demand Evaluation Strategy. SAC (2) 2000: 756-764 - [c27]Kokichi Futatsugi:
Preface. WRLA 2000: 1 - [e3]Kokichi Futatsugi:
The 3rd International Workshop on Rewriting Logic and its Applications, WRLA 2000, Kanzawa, Japan, September 18-20, 2000. Electronic Notes in Theoretical Computer Science 36, Elsevier 2000 [contents]
1990 – 1999
- 1999
- [c26]Michihiro Matsumoto, Kokichi Futatsugi:
Simply Observable Behavioral Specification. APSEC 1999: 460-467 - [c25]Kazuhiro Ogata, Kokichi Futatsugi:
Formal Verification of the MCS List-Based Queuing Lock. ASIAN 1999: 281-293 - [c24]Akira Mori, Kokichi Futatsugi:
Verifying Behavioural Specifications in CafeOBJ Environment. World Congress on Formal Methods 1999: 1625-1643 - [c23]Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida:
Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods 1999: 1644-1663 - [c22]Kazuhiro Ogata, Shigenori Ioroi, Kokichi Futatsugi:
Optimizing Term Rewriting Using Discrimination Nets With Specialization. SAC 1999: 511-518 - [p1]Shusaku Iida, Kokichi Futatsugi, Razvan Diaconescu:
Component-Based Algebraic Specification. Behavioral Specifications of Businesses and Systems 1999: 105-121 - 1998
- [b1]Razvan Diaconescu, Kokichi Futatsugi:
Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. AMAST Series in Computing 6, World Scientific 1998, ISBN 978-981-02-3513-0, pp. 1-196 - [c21]Kazuhiro Ogata, Hiromichi Hirata, Shigenori Ioroi, Kokichi Futatsugi:
Experimental Implementation of Parallel TRAM on Massively Parallel Computer. Euro-Par 1998: 846-851 - [c20]Hiroshi Ishikawa, Takuo Watanabe, Kokichi Futatsugi, José Meseguer, Hideyuki Nakashima:
On the Semantics of GAEA. Fuji International Symposium on Functional and Logic Programming 1998: 123-142 - [c19]Michihiro Matsumoto, Kokichi Futatsugi:
Test set coinduction - Toward automated verification of behavioural properties. WRLA 1998: 242-262 - [c18]Razvan Diaconescu, Kokichi Futatsugi:
An overview of CafeOBJ. WRLA 1998: 285-298 - [e2]Koji Torii, Kokichi Futatsugi, Richard A. Kemmerer:
Forging New Links, Proceedings of the 1998 International Conference on Software Engineering, ICSE 98, Kyoto, Japan, April 19-25, 1998. IEEE Computer Society 1998, ISBN 0-8186-8368-6 [contents] - 1997
- [c17]Kazuhiro Ogata, Masaru Kondo, Shigenori Ioroi, Kokichi Futatsugi:
Design and Implementation of Parallel TRAM. Euro-Par 1997: 1209-1216 - [c16]Kokichi Futatsugi, Ataru T. Nakagawa:
An Overview of CAFE Specification Environment - An Algebraic Approach for Creating, Verifying, and Maintaining Formal Specifications over Networks. ICFEM 1997: 170-182 - [c15]Shin Nakajima, Kokichi Futatsugi:
An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ. ICSE 1997: 34-44 - [c14]Kazuhiro Ogata, Kokichi Futatsugi:
Implementation of Term Rewritings with the Evaluation Strategy. PLILP 1997: 225-239 - [c13]Kazuhiro Ogata, Koichi Ohhara, Kokichi Futatsugi:
TRAM: An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems. RTA 1997: 335-338 - 1996
- [e1]Kokichi Futatsugi, Satoshi Matsuoka:
Object Technologies for Advanced Software, Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996, Proceedings. Lecture Notes in Computer Science 1049, Springer 1996, ISBN 3-540-60954-7 [contents] - 1994
- [c12]Ataru T. Nakagawa, Kokichi Futatsugi:
Formalizing humans in software processes. ISPW 1994: 60-61 - 1991
- [j1]Ataru T. Nakagawa, Kokichi Futatsugi:
Propagating changes in algebraic specifications. Softw. Eng. J. 6(6): 476-486 (1991) - [c11]Deddo Wiersma, Kazuhito Ohmaki, Kokichi Futatsugi:
Specifications of a general user interface in LOTOS and OBJ. COMPSAC 1991: 90-97 - 1990
- [c10]Kazuhito Ohmaki, Koichi Takahashi, Kokichi Futatsugi:
A LOTOS Simulator in OBJ. FORTE 1990: 535-538 - [c9]Ataru T. Nakagawa, Kokichi Futatsugi:
Software Process à la Algebra: OBJ for OBJ. ICSE 1990: 12-23 - [c8]Kokichi Futatsugi:
Product-centered process description = algebraic specification of environment + SCRIPT. ISPW 1990: 95-98
1980 – 1989
- 1989
- [c7]Ataru T. Nakagawa, Kokichi Futatsugi:
Stepwise Refinement Process with Modularity: An Algebraic Approach. ICSE 1989: 166-177 - [c6]Ataru T. Nakagawa, Kokichi Futatsugi:
Product-based process models. ISPW 1989: 101-105 - 1988
- [c5]Ataru T. Nakagawa, Kokichi Futatsugi, Satoru Tomura, T. Shimizu:
Algebraic Specification of Macintosh's Quickdraw Using OBJ2. ICSE 1988: 334-343 - 1987
- [c4]Kokichi Futatsugi, Joseph A. Goguen, José Meseguer, Koji Okada:
Parameterized Programming in OBJ2. ICSE 1987: 51-60 - 1985
- [c3]Kokichi Futatsugi, Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer:
Principles of OBJ2. POPL 1985: 52-66 - 1982
- [c2]Kokichi Futatsugi, Koji Okada:
A Hierarchical Structuring Method for Functional Software Systems. ICSE 1982: 393-402 - 1980
- [c1]Kokichi Futatsugi, Koji Okada:
Specification Writing as Construction of Hierarchically Structured Clusters of Operators. IFIP Congress 1980: 287-292
Coauthor Index
[j29] [j28] [c94] [c93] [c90] [c89] [c88] [c87] [c86] [c85] [c84] [j26] [c82] [j24] [j23] [c81] [j21] [j20] [j19] [c78] [j18] [c76] [j17] [j16] [c75] [c72] [j15] [j14] [j13] [j12] [j11] [j10] [c69] [c68] [c67] [c66] [c64] [c63] [c62] [j6] [c61] [c60] [c59] [c58] [c57] [c56] [c55] [c54] [c53] [c52] [c51] [c50] [c45] [c44] [j5] [j4] [c42] [c41] [c40] [c37] [c36] [c34] [c33] [c32] [c31] [c28] [c25] [c22] [c21] [c17] [c14] [c13]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-28 23:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: