( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Experimental Analysis for Classifying Specification Processes.

, , , , , , , и . SEKE, стр. 231-234. Knowledge Systems Institute, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Shinichi Kotabe

 

Другие публикации лиц с тем же именем

Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models., , и . ASE, стр. 531-532. ACM, (2007)Analysis of multi-agent systems based on KAOS modeling., , и . ICSE, стр. 926-929. ACM, (2006)Model Checking Process with Goal Oriented Requirements Analysis., , и . APSEC, стр. 377-384. IEEE Computer Society, (2008)Case studies on the development of wireless sensor network applications using multiple abstraction levels., , , и . SESENA, стр. 22-28. IEEE Computer Society, (2012)Bash on Ubuntu on macOS., , , и . APSys, стр. 17:1-17:8. ACM, (2017)ArbitCheck: A Highly Automated Property-Based Testing Tool for Java., , , и . ICST Workshops, стр. 405-412. IEEE Computer Society, (2014)Falsification of Cyber-Physical Systems with Reinforcement Learning., , и . MT@CPSWeek, стр. 5-6. IEEE, (2018)Constructing Self-Adaptive Systems Using a KAOS Model., , и . SASO Workshops, стр. 132-137. IEEE Computer Society, (2008)A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems., , , , и . PerCom, стр. 609-614. IEEE Computer Society, (2008)Dynamic Invocation Model of Web Services Using Subsumption Relations., , , и . ICWS, стр. 150-. IEEE Computer Society, (2004)