|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 14 occurrences of 14 keywords
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Kenji Taguchi, Suguru Imai, Tatsuya Kashiwa, Kohzoh Ohshima, Takeshi Kawamura |
FDTD Analysis of Radio Wave Propagation at Intersection Surrounded by Concrete Block Walls in Residential Area for Inter-Vehicle Communications Using 720 MHz Band.  |
IEICE Transactions  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Kenji Taguchi, Tatsuya Kashiwa, Kohzoh Ohshima, Takeshi Kawamura |
Propagation Analysis of Electromagnetic Waves in 700 MHz Band at Intersection for Inter-Vehicle Communications Using the FDTD Method. |
IEICE Transactions |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yutaka Matsuno, Kenji Taguchi |
Parameterised Argument Structure for GSN Patterns. |
QSIC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Taguchi, Nobukazu Yoshioka, Takayuki Tobita, Hiroyuki Kaneko |
Aligning Security Requirements and Security Assurance Using the Common Criteria. |
SSIRI |
2010 |
DBLP DOI BibTeX RDF |
security, requirements, assurance, Common Criteria |
| 1 | Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Toshiaki Aoki, Shinichi Honiden |
Evolution of a course on model checking for practical applications. |
SIGCSE Bulletin |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno |
Model checking education for software engineers in Japan. |
SIGCSE Bulletin |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Takao Okubo, Kenji Taguchi, Nobukazu Yoshioka |
Misuse Cases + Assets + Security Goals. |
CSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden |
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project. |
TFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Taguchi, Jin Song Dong |
Formally specifying and verifying mobile agents - model checking mobility: the MobiOZ approach. |
IJAOSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Jing Sun 0002, Jun Sun 0001, Kenji Taguchi, Xian Zhang |
Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroyuki Nakagawa, Kenji Taguchi, Shinichi Honiden |
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
formal methods, model transformation, requirements analysis |
| 1 | Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki |
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Miao Kang, Kenji Taguchi |
Modelling Mobile Agent Applications by Extended UML Activity Diagram. |
ICEIS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu |
Relating pi-calculus to Object-Z. |
ICECCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Taguchi, Jin Song Dong |
An Overview of Mobile Object-Z. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi, Hirokazu Yatsu, Alan Wills |
Formal specification of Catalysis frameworks. |
APSEC |
2000 |
DBLP DOI BibTeX RDF |
Catalysis frameworks, informal description, framework composition, formal specification, formal specification, software reuse, software reusability, object-oriented methods, component-based software development, subroutines, formal reasoning |
| 1 | Keijiro Araki, Andy Galloway, Kenji Taguchi (eds.) |
Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999 |
IFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Kenji Taguchi, Keijiro Araki |
A Calculus Based on the Agent-Place Model. (PDF / PS) |
ICFEM |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenji Taguchi, Keijiro Araki |
The State-Based CCS Semantics for Concurrent Z Specification. |
ICFEM |
1997 |
DBLP BibTeX RDF |
|
| 1 | Kenji Taguchi, Keijiro Araki |
Extending Z with State Transition Constraints. (PDF / PS) |
COMPSAC |
1996 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")