Conferences in DBLP
Steering Committee. [Citation Graph (0, 0)][DBLP ] Conf ] Conference Chairs' Message. [Citation Graph (0, 0)][DBLP ] Conf ] Program Committee. [Citation Graph (0, 0)][DBLP ] Conf ] Program Chairs' Message. [Citation Graph (0, 0)][DBLP ] Conf ] John Mylopoulos Goal-Oriented Requirements Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Rick Kazman The Essential Components of Software Architecture Design and Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Sanya Uehara Vision, Strategy, and Practice of Software Research & Development in Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Chandler , Chiou Peng Lam , Huaizhong Li AD2US: An Automated Approach to Generating Usage Scenarios from UML Activity Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Shariful Islam , Hannes Omasreiter Systematic Use Case Interviews for Specification of Automotive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane S. Somé Enhancement of a Use Cases based Requirements Engineering approach with Scenarios. [Citation Graph (0, 0)][DBLP ] Conf ] Lei Wu , Houari A. Sahraoui Accommodating Software Development Collaboration. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Aiguier , Pascale Le Gall , Delphine Longuet , Assia Touil A Temporal Logic for Input Output Symbolic Transition Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Colin J. Fidge , Phil Cook Model Checking Interrupt-Dependent Software. [Citation Graph (0, 0)][DBLP ] Conf ] Weiqiang Kong , Takahiro Seino , Kokichi Futatsugi , Kazuhiro Ogata A Lightweight Integration of Theorem Proving and Model Checking for System Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Eun-Hye Choi , Hiroshi Watanabe Model Checking Class Specifications forWeb Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Roy Grønmo , Michael C. Jaeger Model-Driven Semantic Web Service Composition. [Citation Graph (0, 0)][DBLP ] Conf ] Niko Thio , Shanika Karunasekera Client Profiling for QoS-Based Web Service Recommendation. [Citation Graph (0, 0)][DBLP ] Conf ] Heqing Guan , Beihong Jin , Jun Wei , Wei Xu , Ningjiang Chen A Framework for Application Server Based Web Services Management. [Citation Graph (0, 0)][DBLP ] Conf ] Satoru Endo , Toshiyuki Miyamoto , Sadatoshi Kumagai , Taku Fujii On Simulation of BPEL4WS/UML Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuya Oshiro , Kenji Watahiki , Motoshi Saeki Integrating an Idea Generation Method into a Goal-Oriented Analysis Method for Requirements Elicitation. [Citation Graph (0, 0)][DBLP ] Conf ] Hwai-Jong Hsu , Feng-Jian Wang , Da-Li Yang An Incremental Analysis to Workflow Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Takako Nakatani , Terunobu Fujino Role and Owner based Business Domain Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Chien-An Chen , Sara Kalvala , Jane Sinclair Race-free Scenarios of Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Deutsch , Martin C. Henson An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuhiro Ogata , Kokichi Futatsugi Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker. [Citation Graph (0, 0)][DBLP ] Conf ] Linda Badri , Mourad Badri , Daniel St-Yves Supporting Predictive Change Impact Analysis: A Control Call Graph Based Technique. [Citation Graph (0, 0)][DBLP ] Conf ] Wing Lok Yeung , Karl R. P. H. Leung , Ji Wang , Wei Dong Improvements Towards Formalizing UML State Diagrams in CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Yin Qin , Hao Hu , Li Jun , JiDong Ge , Jian Lu An Approach to Ensure Service Behavior Consistency in OSGi. [Citation Graph (0, 0)][DBLP ] Conf ] Wookjin Lee , Sanghyun Park , Keeyoull Lee , Chunwoo Lee , Byungjeong Lee , Woosung Jung , Taeksu Kim , Heechern Kim , Chisu Wu Agile Development of Web Application by Supporting Process Execution and Extended UML Model. [Citation Graph (0, 0)][DBLP ] Conf ] Feng Chen , Shaoyun Li , William Cheng-Chung Chu Feature Analysis for Service-Oriented Reengineering. [Citation Graph (0, 0)][DBLP ] Conf ] Tomohiro Akinaga , Naoki Ohsugi , Masateru Tsunoda , Takeshi Kakimoto , Akito Monden , Ken-ichi Matsumoto Recommendation of Software Technologies Based on Collaborative Filtering. [Citation Graph (0, 0)][DBLP ] Conf ] Yih-Cheng Lee , Chi-Ming Ma , Shih-Chien Chou A Service-Oriented Architecture for Design and Development of Middleware. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Dosch A Loose Interaction Pattern for Asynchronous Components. [Citation Graph (0, 0)][DBLP ] Conf ] Hyoung-iel Park , Sungwon Kang , Yoonsuk Choi , Danhyung Lee Developing Object Oriented Designs from Component and Connector Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Chih-Chung Lai , Ren-Song Ko , Chia-Kuan Yen Ad Hoc System : a Software Architecture for Ubiquitous Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Annabella Loconsole , Jürgen Börstler An Industrial Case Study on Requirements Volatility Measures. [Citation Graph (0, 0)][DBLP ] Conf ] Yutao Ma , Keqing He , Dehui Du A Qualitative Method for Measuring the Structural Complexity of Software Systems Based on Complex Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Santonu Sarkar , Avinash C. Kak , N. S. Nagaraja Metrics for Analyzing Module Interactions in Large Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Mason On Traceability for Safety Critical Systems Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Nicolas Guelfi , Amel Mammar A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. [Citation Graph (0, 0)][DBLP ] Conf ] Nam Tran , David Abramson , Christine Mingins Call-Ordering Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jinjun Chen , Yun Yang A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Wang , Jitian Xiao , Chiou Peng Lam , Huaizhong Li A Bipartite Graph Approach to Generate Optimal Test Sequences for Protocol Conformance Testing using the Wp-method. [Citation Graph (0, 0)][DBLP ] Conf ] Kyung-Ah Yang , Jae-Dong Yang , Ki-Heon Kim Bio-ontology Construction Using Object-oriented Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] Bastian Dolle , Walter Dosch Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures. [Citation Graph (0, 0)][DBLP ] Conf ] Takayuki Omori , Katsuhisa Maruyama An Easy-to-Use Extension Mechanism Using XML for an Integrated Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] J. T. Lallchandani , Rajib Mall Computation of Dynamic Slices for Object-Oriented Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Rambabu Duddukuri , T. V. Prabhakar On Archiving Architecture Documents. [Citation Graph (0, 0)][DBLP ] Conf ] Y. C. Cheng , Jung-Sing Jwo Exception Handling: An Architecture Model and Utility Support. [Citation Graph (0, 0)][DBLP ] Conf ] Ping Guo , Gregor Engels , Reiko Heckel Architectural Style - Based Modeling and Simulation of Complex Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yujian Fu , Zhijiang Dong , Xudong He An Approach to Validation of Software Architecture Model. [Citation Graph (0, 0)][DBLP ] Conf ] Dong Xu , Huaizhong Li , Chiou Peng Lam Using Adaptive Agents to Automatically Generate Test Scenarios from the UML Activity Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Luke Wildman , Brad Long , Paul A. Strooper Dealing with Non-Determinism in Testing Concurrent Java Components. [Citation Graph (0, 0)][DBLP ] Conf ] Anjaneyulu Pasala , Animesh Bhowmick An Approach for Test Suite Selection to Validate Applications on Deployment of COTS Upgrades. [Citation Graph (0, 0)][DBLP ] Conf ] Christian Seybold , Silvio Meier Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Tomaszewski , Lars Lundberg , Håkan Grahn Increasing the Efficiency of Fault Detection in Modified Code. [Citation Graph (0, 0)][DBLP ] Conf ] Chu-Ti Lin , Chin-Yu Huang , Jun-Ru Chang Integrating Generalized Weibull-type Testing-Effort Function and Multiple Change-Points into Software Reliability Growth Models. [Citation Graph (0, 0)][DBLP ] Conf ] James R. Birt , Renate Sitte Identifying Error Proneness in Path Strata with Genetic Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Toshiro Mise , Masaaki Hashimoto , Keiichi Katamine , Yasufumi Shinyashiki , Naoyasu Ubayashi , Takako Nakatani An Analysis Method with Failure Scenario Matrix for Specifying Unexpected Obstacles in Embedded Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Mao Zheng , Vangalur S. Alagar Conformance Testing of BDI Properties in Agent-based Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong , Yuzhang Feng , Yuan-Fang Li , Jun Sun A Tools Environment for Developing and Reasoning about Ontologies. [Citation Graph (0, 0)][DBLP ] Conf ] Chiung-Hon Leon Lee , Alan Liu User Intention Satisfaction for Agent-Based Semantic Web Services Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Seok Won Lee , Robin A. Gandhi Ontology-based Active Requirements Engineering Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Shinyoung Park , Soo Dong Kim A Systematic Method for Scoping Core Assets in Product Line Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Hailang Zuo , Mike Mannion , David Sellier , Richard Foley An Extension of Problem Frame Notation for Software Product Lines. [Citation Graph (0, 0)][DBLP ] Conf ] Waraporn Jirapanthong , Andrea Zisman Supporting Product Line Development through Traceability. [Citation Graph (0, 0)][DBLP ] Conf ] Hyung-Min Koo , In-Young Ko A Repository Framework for Self-Growing Robot Software. [Citation Graph (0, 0)][DBLP ] Conf ] Xiyang Liu , Ning Lei , Hehui Liu , Bin Wang Evolutionary Testing of Unstructured Programs in the Presence of Flag Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuro Katayama , Yusuke Yabuya Proposal of a Method to Support Testing for Java Programs with UML. [Citation Graph (0, 0)][DBLP ] Conf ] Jens R. Calame , Natalia Ioustinova , Jaco van de Pol , Natalia Sidorova Data Abstraction and Constraint Solving for Conformance Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Pattara Leelaprute , Tatsuhiro Tsuchiya , Tohru Kikuno , Masahide Nakamura , Ken-ichi Matsumoto Describing and Verifying Integrated Services of Home Network Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Rakesh Shukla , David A. Carrington , Paul A. Strooper A Passive Test Oracle Using a Component's API. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoyuan Xie , Liang Shi , Changhai Nie , Yanxiang He , Baowen Xu A Dynamic Optimization Strategy for Evolutionary Testing. [Citation Graph (0, 0)][DBLP ] Conf ] W. Eric Wong , Jenny Li An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting. [Citation Graph (0, 0)][DBLP ] Conf ] Chaiwat Sathawornwichit , Takuya Katayama A Parametric Model Checking Approach for Real-Time Systems Design. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Jin , Jun Han Consistency and Interoperability Checking for Component Interaction Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Chang-ai Sun An Incremental and Practical Approach to Enable the Component Run-time Evolution. [Citation Graph (0, 0)][DBLP ] Conf ] Chengying Mao , Yansheng Lu Regression Testing for Component-based Software Systems by Enhancing Change Information. [Citation Graph (0, 0)][DBLP ] Conf ] Rakesh Tripathi , Rajib Mall Early Stage Software Reliability and Design Assessment. [Citation Graph (0, 0)][DBLP ] Conf ] Saad Zafar , R. Geoff Dromey Integrating Safety and Security Requirements into Design of an Embedded System. [Citation Graph (0, 0)][DBLP ] Conf ] Donglin Liang , Kai Xu Monitoring with Behavior View Diagrams for Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Mu Hee Song , Soo Yeon Lim , Dong-Jin Kang , Sang-Jo Lee Automatic Classification of Web Pages based on the Concept of Domain Ontology. [Citation Graph (0, 0)][DBLP ] Conf ] Shen-Tzay Huang , Yi-Pei Cho , Yu-Jen Lin ADDIE Instruction Design and Cognitive Apprenticeship for Project-based Software Engineering Education in MIS. [Citation Graph (0, 0)][DBLP ] Conf ] Darren C. Atkinson , Todd King Lightweight Detection of Program Refactorings. [Citation Graph (0, 0)][DBLP ] Conf ] Vikram Jamwal , Sridhar Iyer Automated Refactoring of Objects for Application Partitioning. [Citation Graph (0, 0)][DBLP ] Conf ] Rieko Yamamoto , Kouji Yamamoto , Kyoko Ohashi , Junji Inomata Development of a Business Process Modeling Methodology and a Tool for Sharing Business Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Raymund Sison , David Diaz , Eliska Lam , Dennis Navarro , Jessica Navarro Personal Software Process (PSP) Assistant. [Citation Graph (0, 0)][DBLP ] Conf ] Yung-Shen Chang , Nai-Wei Lin A Tool for Constructing Syntax-Directed Editors. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Cook , Warwick Irwin , Neville Churcher A User Evaluation of Synchronous Collaborative Software Engineering Tools. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph-Johan Back , Magnus Myreen Tool Support for Invariant Based Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Rakesh Shukla , Paul A. Strooper , David A. Carrington Tool Support for Statistical Testing of Software Components. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Mencl , Tomas Bures Microcomponent-Based Component Controllers: A Foundation for Component Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] Saeed Jalili , Somayeh Malakuti , Khah Olun Abadi AECM: an Aspect Enabled Component Model. [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Ishio , Shinji Kusumoto , Katsuro Inoue , Toshihiro Kamiya Aspect-Oriented Modularization of Assertion Crosscutting Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Santokh Singh , Hsiao-Cheng Chen , Oliver Hunter , John C. Grundy , John G. Hosking Improving Agile Software Development using eXtreme AOCE and Aspect-Oriented CVS. [Citation Graph (0, 0)][DBLP ] Conf ] Gefei Zhang Towards Aspect-Oriented Class Diagrams. [Citation Graph (0, 0)][DBLP ] Conf ] Mohamad Kassab , Olga Ormandjieva , Constantinos Constantinides Providing Quality Measurement for Aspect-Oriented Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Safoora Shakil Khan , Muhammad Jaffar-Ur Rehman A Survey on Early Separation of Concerns. [Citation Graph (0, 0)][DBLP ] Conf ] Kung Chen Using Dynamic Aspects for Delegating Fine-Grained Access Rights. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiyuki Usui , Shigeru Chiba Bugdel: An Aspect-Oriented Debugging System. [Citation Graph (0, 0)][DBLP ] Conf ] Sven Apel , Thomas Leich , Gunter Saake Aspect Refinement and Bounding Quantification in Incremental Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Yunwen Ye Dimensions and Forms of Knowledge Collaboration in Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiyuki Nishinaka , Mitsuhiro Asada , Yasuhiro Yamamoto , Yunwen Ye Please STeP_IN: A Socio-Technical Platform for in situ Networking. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Matsushita , Kei Sasaki , Katsuro Inoue CoxR: Open Source Development History Search System. [Citation Graph (0, 0)][DBLP ] Conf ] Kumiyo Nakakoji , Kazuaki Yamada , Elisa Giaccardi Understanding the Nature of Collaboration in Open-Source Software Development. [Citation Graph (0, 0)][DBLP ] Conf ] Masao Ohira , Tetsuya Ohoka , Takeshi Kakimoto , Naoki Ohsugi , Ken-ichi Matsumoto Supporting Knowledge Collaboration Using Social Networks in a Large-Scale Online Community of Software Development Projects. [Citation Graph (0, 0)][DBLP ] Conf ] 