Shinichi Honiden
Orcid: 0000-0003-1385-3996
According to our database1,
Shinichi Honiden
authored at least 263 papers
between 1985 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Remote Security Assessment for Cyber-Physical Systems: Adapting Design Patterns for Enhanced Diagnosis.
Proceedings of the 20th International Conference on Security and Cryptography, 2023
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023
Enhancing ICS Security Diagnostics with Pseudo-Greybox Fuzzing During Maintenance Testing.
Proceedings of the 18th International Conference on Software Technologies, 2023
2022
Goal-oriented Knowledge Reuse via Curriculum Evolution for Reinforcement Learning-based Adaptation.
Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022
2021
Proceedings of the 3rd IEEE Global Conference on Life Sciences and Technologies, 2021
Towards Personalized Autonomous Driving: An Emotion Preference Style Adaptation Framework.
Proceedings of the IEEE International Conference on Agents, 2021
Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021
Proceedings of the 10th IEEE Global Conference on Consumer Electronics, 2021
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
2020
Proceedings of the VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2020
Identifying Achievable Goals for Adaptive Replanning Against Runtime Environment Change.
Proceedings of the Intelligent Systems Design and Applications, 2020
Efficient Difference Analysis Algorithm for Runtime Requirement Degradation under System Functional Fault.
Proceedings of the 18th IEEE International Conference on Embedded and Ubiquitous Computing, 2020
Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020
Proceedings of the 3rd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2020
Proceedings of the 3rd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2020
2019
IEICE Trans. Inf. Syst., 2019
Formal Aspects Comput., 2019
Analysis Space Reduction with State Merging for Ensuring Safety Properties of Self-Adaptive Systems.
Proceedings of the 2019 IEEE SmartWorld, 2019
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
2018
AutoPUT: an automated technique for retrofitting closed unit tests into parameterized unit tests.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the IEEE International Conference on Agents, 2018
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018
2017
Proceedings of the Tests and Proofs - 11th International Conference, 2017
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the 12th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2017
Proceedings of the 8th Asia-Pacific Workshop on Systems, Mumbai, India, September 2, 2017, 2017
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017
2016
IEEE Trans. Serv. Comput., 2016
Fast Live Migration for IO-Intensive VMs with Parallel and Adaptive Transfer of Page Cache via SAN.
IEICE Trans. Inf. Syst., 2016
Proceedings of the 2016 IEEE International Conference on Software Testing, 2016
Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models.
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the Conceptual Modeling - 35th International Conference, 2016
2015
Model-Driven-Development-Based Stepwise Software Development Process for Wireless Sensor Networks.
IEEE Trans. Syst. Man Cybern. Syst., 2015
Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering.
IEEE Trans. Software Eng., 2015
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015
Proceedings of the 15th Symposium on Database Programming Languages, 2015
2014
IEEE Trans. Serv. Comput., 2014
Toward a portability framework with multi-level models for wireless sensor network software.
Proceedings of the International Conference on Smart Computing, 2014
Application of requirements prioritization decision rules in software product line evolution.
Proceedings of the 5th IEEE International Workshop on Requirements Prioritization and Communication, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Proceedings of the 22nd International Conference on Program Comprehension, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the IEEE 6th International Conference on Cloud Computing Technology and Science, 2014
Sample efficiency improvement on neuroevolution via estimation-based elimination strategy.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
Proceedings of the 2014 IEEE 7th International Conference on Cloud Computing, Anchorage, AK, USA, June 27, 2014
2013
NII Shonan Meet. Rep., 2013
CoRR, 2013
Mutation Analysis for JavaScriptWeb Application Testing.
Proceedings of the 25th International Conference on Software Engineering and Knowledge Engineering, 2013
Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Fault classification and model learning from sensory Readings - Framework for fault tolerance in wireless sensor networks.
Proceedings of the 2013 IEEE Eighth International Conference on Intelligent Sensors, 2013
Proceedings of the International Conference on Internet Multimedia Computing and Service, 2013
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013
Proceedings of the IEEE Congress on Evolutionary Computation, 2013
Proceedings of the 13th IEEE/ACM International Symposium on Cluster, 2013
2012
NII Shonan Meet. Rep., 2012
Proceedings of the 3rd International Conference on Ambient Systems, 2012
A multi-objective evolutionary approach to scheduling for evolving manufacturing systems.
Evol. Syst., 2012
Proceedings of the 21st World Wide Web Conference 2012, 2012
Proceedings of the 21st World Wide Web Conference 2012, 2012
Case studies on the development of wireless sensor network applications using multiple abstraction levels.
Proceedings of the Third International Workshop on Software Engineering for Sensor Network Applications, 2012
Proceedings of the Simulated Evolution and Learning - 9th International Conference, 2012
Towards Dynamic Evolution of Self-Adaptive Systems Based on Dynamic Updating of Control Loops.
Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of the Web Engineering - 12th International Conference, 2012
CMA-TWEANN: efficient optimization of neural networks via self-adaptation and seamless augmentation.
Proceedings of the Genetic and Evolutionary Computation Conference, 2012
Proceedings of the 16th European Conference on Software Maintenance and Reengineering, 2012
Proceedings of the Intelligent Web Services Meet Social Computing, 2012
Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012
2011
Proceedings of the 5th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the IEEE International Conference on Web Services, 2011
Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2011
Proceedings of the IEEE International Conference on Web Services, 2011
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011
Model driven development for rapid prototyping and optimization of wireless sensor network applications.
Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011
gocc: a configuration compiler for self-adaptive systems using goal-oriented requirements description.
Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011
Proceedings of the Adaptive and Intelligent Systems - Second International Conference, 2011
How Artefacts Influence the Construction of Communications and Contexts during Collaboration in an Agile Software Development Team.
Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011
Activity States Framework as an Experimental Approach to Studying, and Modeling Context in Web-Mediated Collaborative Dialogs.
Proceedings of the Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, 2011
Proceedings of the IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, 2011
Decision making in adaptive manufacturing systems: Multi-objective scheduling and user interface.
Proceedings of the IEEE Symposium on Computational Intelligence in Control and Automation, 2011
Divide & conquer in planning for self-optimizing mechatronic systems - A first application example.
Proceedings of the IEEE Symposium on Computational Intelligence in Control and Automation, 2011
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011
Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures.
Proceedings of the IEEE International Conference on Services Computing, 2011
2010
Proceedings of the Wireless Sensor Network Technologies for the Information Explosion Era, 2010
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2010
Proceedings of the 6th World Congress on Services, 2010
Planning with Utility and State Trajectory Constraints in Self-Healing Automotive Systems.
Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010
A Framework for Validating Task Assignment in Multiagent Systems Using Requirements Importance.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010
Proceedings of the Advances in Practical Applications of Agents and Multiagent Systems, 2010
Proceedings of the 13th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2010
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010
Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010
Proceedings of the Sixth International Conference on Autonomic and Autonomous Systems, 2010
Proceedings of the Genetic and Evolutionary Computation Conference, 2010
Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference, 2010
Proceedings of the Distributed Computing in Sensor Systems, 2010
2009
ACM SIGCSE Bull., 2009
IEICE Trans. Commun., 2009
Proceedings of the Actes des 5èmes journées francophones Mobilité et Ubiquité 2009, 2009
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.
Proceedings of the Teaching Formal Methods, Second International Conference, 2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Geographical data collection in sensor networks with self-organizing transaction cluster-heads.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009
Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering.
Proceedings of the Second International Workshop on Requirements Engineering and Law, 2009
Proceedings of the Sixth International Symposium on Voronoi Diagrams, 2009
Proceedings of the Sixth International Symposium on Voronoi Diagrams, 2009
Proceedings of the INFOCOM 2009. 28th IEEE International Conference on Computer Communications, 2009
Reporter node determination of replicated node detection in wireless sensor networks.
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication, 2009
Physical interaction in pervasive computing: formal modeling, analysis and verification.
Proceedings of the 2009 international conference on Pervasive services, 2009
Proceedings of the 6th Workshop on Data Management for Sensor Networks, 2009
2008
Int. J. Agent Oriented Softw. Eng., 2008
Proceedings of the 4th Annual International Conference on Wireless Internet, 2008
Distributed detection of node replication attacks resilient to many compromised nodes in wireless sensor networks.
Proceedings of the 4th Annual International Conference on Wireless Internet, 2008
Proceedings of the 1st IFIP Wireless Days, 2008
Proceedings of the IEEE International Conference on Sensor Networks, 2008
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008
A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems.
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008
Proceedings of the 1st International Conference on MOBILe Wireless MiddleWARE, 2008
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008
Proceedings of the 15th Asia-Pacific Software Engineering Conference (APSEC 2008), 2008
2007
Syst. Comput. Jpn., 2007
Int. J. Agent Oriented Softw. Eng., 2007
IEICE Trans. Inf. Syst., 2007
Auton. Agents Multi Agent Syst., 2007
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007
Resilient Security for False Event Detection Without Loss of Legitimate Events in Wireless Sensor Networks.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007
Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007
Proceedings of the On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, 2007
Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan.
Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007
Proceedings of the 16th International Conference on Computer Communications and Networks, 2007
Proceedings of the 16th International Conference on Computer Communications and Networks, 2007
Proceedings of the Holonic and Multi-Agent Systems for Manufacturing, 2007
Proceedings of the Computer Aided Systems Theory, 2007
Context in Use for Analyzing Conversation Structures on the Web Tied to the Notion of Situatedness.
Proceedings of the Modeling and Using Context, 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007
Building coalitions involving agents and humans: reports from agent-based participatory simulations.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007
Proceedings of the Agents and Peer-to-Peer Computing, 6th International Workshop, 2007
2006
Agent-Based Participatory Simulations: Merging Multi-Agent Systems and Role-Playing Games.
J. Artif. Soc. Soc. Simul., 2006
Proceedings of the 2006 international workshop on Software engineering for large-scale multi-agent systems, 2006
Proceedings of the Mobile Ad-hoc and Sensor Networks, Second International Conference, 2006
Proceedings of the Third International Conference on Information Technology: New Generations (ITNG 2006), 2006
An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table.
Proceedings of the Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), 2006
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006
Proceedings of the FM 2006: Formal Methods, 2006
Proceedings of the Engineering Societies in the Agents World VII, 2006
Proceedings of the Environments for Multi-Agent Systems III, Third International Workshop, 2006
Proceedings of the Declarative Agent Languages and Technologies IV, 2006
Introducing Auction Scheme to Route Allocation to Prolong the Lifetime of Ad-Hoc Networks.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006
Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
2005
Syst. Comput. Jpn., 2005
Application of the ?Plangent intelligent mobile agent architecture for embedded systems to the inspection of power systems.
Syst. Comput. Jpn., 2005
Int. J. Pervasive Comput. Commun., 2005
Proceedings of the On the Move to Meaningful Internet Systems 2005: OTM 2005 Workshops, 2005
Proceedings of the 2nd Annual International Conference on Mobile and Ubiquitous Systems (MobiQuitous 2005), 2005
Proceedings of the Intelligence in Communication Systems, 2005
A Model for Policy Based Service Community.
Proceedings of the ICEIS 2005, 2005
Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound.
Proceedings of the ICEIS 2005, 2005
Tag Interactions in MultiAgent Systems: Environment Support.
Proceedings of the EUMAS 2005, 2005
Proceedings of the Environments for Multi-Agent Systems II, Second International Workshop, 2005
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
Proceedings of the Engineering Self-Organising Systems, Third International Workshop, 2005
Proceedings of the 2005 International Conference on Active Media Technology, 2005
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005
2004
Syst. Comput. Jpn., 2004
Proceedings of the Programming Multi-Agent Systems, 2004
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2004
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2004
Proceedings of the Mobility Aware Technologies and Applications, 2004
Proceedings of the Mobility Aware Technologies and Applications, 2004
Ubiquitous Application Development using a Mobile Agent-based System.
Proceedings of the Ubiquitous Computing, 2004
Mobile Agent System for Web Services Integration in Pervasive Networks.
Proceedings of the Ubiquitous Computing, 2004
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004
Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004
Security Patterns: A Method for Constructing Secure and Efficient Inter-Company Coordination Systems.
Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004
Software Design Method for Agent Systems from Scenarios.
Proceedings of the 19th International Conference on Computers and Their Applications, 2004
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004
Proceedings of the Agent-Oriented Information Systems II, 2004
2003
Formal specification of components in a component-based framework development method.
Syst. Comput. Jpn., 2003
Proceedings of the First IEEE International Conference on Pervasive Computing and Communications (PerCom'03), 2003
Planning Mobile Agent Architecture for Realizing Mobile Intelligence.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003
Proceedings of the Mobile Agents for Telecommunication Applications, 2003
Proceedings of the IJCAI-03, 2003
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003
2002
Syst. Comput. Jpn., 2002
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002
2001
Proceedings of the Poster Proceedings of the Tenth International World Wide Web Conference, 2001
Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, 2001
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001
Proceedings of the IJCAI'2001 Workshop on Ontology Learning, 2001
Mobile agent security with the IPEditor development tool and the mobile UNITY language.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001
2000
Bee-gent: bonding and encapsulation enhancement agent framework for development of distributed systems.
Syst. Comput. Jpn., 2000
Proceedings of the Agent Systems, 2000
Proceedings of the 4th International Enterprise Distributed Object Computing Conference (EDOC 2000), 2000
Proceedings of the Agent-Oriented Software Engineering, First International Workshop, 2000
1999
Proceedings of the 1999 International Conference on Software Engineering, 1999
Bee-gent: Bonding and Encapsulation Enhancement Agent Framework for Development of Distributed Systems.
Proceedings of the 6th Asia-Pacific Software Engineering Conference (APSEC '99), 1999
1997
IEEE Trans. Software Eng., 1997
IEEE Internet Comput., 1997
IEEE Concurrency, 1997
1996
Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE.
J. Syst. Softw., 1996
Inf. Softw. Technol., 1996
Hypersequential programming - a novel paradigm for concurrent programming.
Proceedings of the Software Engineering for Parallel and Distributed Systems, 1996
Proceedings of the Object Technologies for Advanced Software, 1996
Proceedings of Fourth IEEE International Conference on Software Reuse, 1996
1995
IEEE Softw., 1995
Int. J. Softw. Eng. Knowl. Eng., 1995
Proceedings of the Object-Based Parallel and Distributed Computation, 1995
Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse.
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC '95), 1995
1994
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.
IEEE Trans. Software Eng., 1994
Proceedings of 3rd International Conference on Software Reuse, 1994
Object-oriented analysis and design support system using algebraic specification techniques.
Proceedings of the First Asia-Pacific Software Engineering Conference, 1994
1993
An Experimental Analysis for Classifying Specification Processes.
Proceedings of the SEKE'93, 1993
1992
Transobj: Software Prototyping Environment for Real-Time Transaction-Based Software System Applications.
Int. J. Softw. Eng. Knowl. Eng., 1992
Specification Process Modelling in Object-Oriented Analysis.
Proceedings of the TOOLS 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, 1992
1991
An integration environment to put formal specifications into practical use in real-time systems.
Proceedings of the 6th International Workshop on Software Specification and Design, 1991
An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time Systems.
Proceedings of the ESEC '91, 1991
Qualitative reasoning-based parameter tuning on bottleneck of synchronized queueing network.
Proceedings of the Fifteenth Annual International Computer Software and Applications Conference, 1991
1990
Proceedings of the Truth Maintenance Systems, 1990
1989
An Application of Structural Modeling and Automated Reasoning to Real-Time Systems Design.
Real Time Syst., 1989
Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989
1987
Proceedings of the Logic Programming '87, 1987
1986
MENDEL: Prolog Based Concurrent Object Oriented Language.
Proceedings of the Spring COMPCON'86, 1986
1985