T
Tetsuo Tamai
Researcher at Hosei University
Publications - 86
Citations - 1158
Tetsuo Tamai is an academic researcher from Hosei University. The author has contributed to research in topics: Software development & Software requirements specification. The author has an hindex of 18, co-authored 86 publications receiving 1121 citations. Previous affiliations of Tetsuo Tamai include University of Tokyo & University of Tsukuba.
Papers
More filters
Proceedings ArticleDOI
How Does Requirements Quality Relate to Project Success or Failure
TL;DR: Investigation of 32 projects started and completed during the period of 2003-2005 in a large business application software development division of a company in Tokyo found some interesting relations between requirements quality and project success or failure.
Proceedings ArticleDOI
Archface: a contract place where architectural design and code meet together
TL;DR: This paper proposes Archface, an interface mechanism for bridging the gap between architectural design and its implementation, and can characterize the notion of Archface with the phrase "predicate coordination," in which program points are exposed by a predicate and coordinated by a trait-based connector.
Proceedings ArticleDOI
Aspect-oriented programming with model checking
Naoyasu Ubayashi,Tetsuo Tamai +1 more
TL;DR: This paper proposes an automatic verification approach using model checking that verifies whether the woven program contains unexpected behaviors such as deadlocks and aims to provide AOP-based model checking frameworks.
Proceedings ArticleDOI
Software lifetime and its evolution process over generations
Tetsuo Tamai,Y. Torimitsu +1 more
TL;DR: Some possible long-range strategies for software life cycle planning and control based on the findings of the survey are discussed; management by lifetime characteristics, monotonicity of size growth, and reuse.
Book
CAFE: An Industrial-Strength Algebraic Formal Method
TL;DR: This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of-the-art algebraic specification language, and offers a comprehensive picture from this methodological perspective.