Conferences in DBLP
Huimin Lin Model Checking Value-Passing Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Henry Novianus Palit Using TCOZ for Modeling Web Caching. [Citation Graph (0, 0)][DBLP ] Conf ] Hugh Anderson Formalization and 'Literate' Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Yusuka Nonaka , Kazuo Ushijima , Hibiki Serizawa , Shigeru Murata , Jingde Cheng A Run-Time Deadlock Detector for Concurrent Java Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Dong Hyuk Park , Soo Dong Kim XML Rule Based Source Code Generator for UML CASE Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Juan José Pardo , Valentín Valero Ruiz , Fernando Cuartero , Diego Cazorla Automatic Translation of a Timed Process Algebra into Dynamic State Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Pao-Ann Hsiung , Win-Bin See , Trong-Yen Lee , Jih-Ming Fu , Sao-Jie Chen Formal Verification of Embedded Real-Time Software in Component-Based Application Frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Jong Kook Lee , Seung Jae Seung , Soo Dong Kim , Woo Hyun , Dong Han Han Component Identification Method with Coupling and Cohesion. [Citation Graph (0, 0)][DBLP ] Conf ] Sukhamay Kundu The Canonical Functional Design Based on the Domination-Relationship among Data. [Citation Graph (0, 0)][DBLP ] Conf ] James Thai , Barry R. Pekilis , Alexander Lau , Rudolph E. Seviora Aspect-Oriented Implementation of Software Health Indicators. [Citation Graph (0, 0)][DBLP ] Conf ] Einar Broch Johnsen , Wenhui Zhang , Olaf Owe , Demissie B. Aredo Specification of Distributed Systems with a Combination of Graphica and Formal Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Tomoji Kishi , Natsuko Noda , Takuya Katayama Architectural Design for Evolution by Analyzing Requirements on Quality Attributes. [Citation Graph (0, 0)][DBLP ] Conf ] Manas Ranjan Patra , Hrushikesha Mohanty A Formal Framework to Build Software Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Twittie Senivongse , Worawut Suphasanthitikul Trading-Assisting Service Discovery Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Didar Zowghi , Vincenzo Gervasi , Andrew McRae Using Default Reasoning to Discover Inconsistencies in Natural Language Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Junzo Kato , Seiichi Komiya , Motoshi Saeki , Atsushi Ohnishi , Morio Nagata , Shuichiro Yamamoto , Hisayuki Horai A Model for Navigating Interview Processes in Requirements Elicitation. [Citation Graph (0, 0)][DBLP ] Conf ] Daniela E. Damian An Empirical Study of Requirements Engineering in Distributed Software Projects: Is Distance Negotiation More Effective? [Citation Graph (0, 0)][DBLP ] Conf ] R. Venkatesh , Purandar Bhaduri , Mathai Joseph Formalizing Models and Meta-models for System Development. [Citation Graph (0, 0)][DBLP ] Conf ] Jordan Dimitrov Operational Semantics for Verilog. [Citation Graph (0, 0)][DBLP ] Conf ] Christine Choppy , Pascal Poizat , Jean-Claude Royer Formal Specification of Mixed Components with Korrigan. [Citation Graph (0, 0)][DBLP ] Conf ] Huibiao Zhu , Jonathan P. Bowen , Jifeng He Deriving Operational Semantics from Denotational Semantics for Verilog. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Padberg Scheduling Software Projects to Minimize the Development Time and Cost with a Given Staff. [Citation Graph (0, 0)][DBLP ] Conf ] Nahomi Kikuchi , Tohru Kikuno Improving the Testing Process by Program Static Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Il-Chul Yoon , Sang-Yoon Min , Doo-Hwan Bae Tailoring and Verifying Software Process. [Citation Graph (0, 0)][DBLP ] Conf ] Vangalur S. Alagar , Mao Zheng A Rigorous Method for Testing Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Heui-Seok Seo , In Sang Chung , Byeong Man Kim , Yong Rae Kwon The Design and Implementation of Automata-based Testing Environment for Java Multi-thread Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Hoijin Yoon , Byoungju Choi An Effective Testing Technique for Component Composition in EJBs. [Citation Graph (0, 0)][DBLP ] Conf ] Jinhui Shan , Ji Wang , Zhichang Qi On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Shui Ming Ho , Kung-Kiu Lau On the Implementation of Catalysis Frameworks in COM. [Citation Graph (0, 0)][DBLP ] Conf ] Takako Nakatani , Tetsuya Urai , Sou Ohmura , Tetsuo Tamai A Requirements Description Metamodel for Use Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoshan Li , Zhiming Liu , Zhensheng Guo Formal Object-Oriented Analysis and Design of an Online Ticketing System. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Chevalley Applying Mutation Analysis for Object-Oriented Programs Using a Reflective Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Fumiaki Ohata , Kouya Hirose , Masato Fujii , Katsuro Inoue A Slicing Method for Object-Oriented Programs Using Lightweight Dynamic Information. [Citation Graph (0, 0)][DBLP ] Conf ] Christos Tjortjis , Paul J. Layzell Expert Maintainers' Strategies and Needs when Understanding Software: A Case Study Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Jim Woodcock , Ana Cavalcanti The Steam Boiler in a Unified Theory of Z and CSP. [Citation Graph (0, 0)][DBLP ] Conf ] Gwen Salaün , Michel Allemand , Christian Attiogbé Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. [Citation Graph (0, 0)][DBLP ] Conf ] Jayadev Misra , Harrick M. Vin Orchestrating Computations on the World-Wide Web. [Citation Graph (0, 0)][DBLP ] Conf ] Shengchao Qin , Jifeng He Partitioning Program into Hardware and Software. [Citation Graph (0, 0)][DBLP ] Conf ] Enrico Tronci , Giuseppe Della Penna , Benedetto Intrigila , Marisa Venturini Zilli A Probabilistic Approach to Automatic Verification of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Van Dung Tran , Jifeng He A Theory of Combinational Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jaejoon Lee , Sucheol Ha , Kyo Chul Kang , Youngyeol Choo , Yoonpyo Hong , Hwawon Hwang Quality Requirement Elicitation for the Architecture Evaluation of Process Computer Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Allen H. Dutoit , Oliver Creighton , Gudrun Klinker , Rafael Kobylinski , Christoph Vilsmeier , Bernd Brügge Architectural Issues in Mobile Augmented Reality Systems: A Prototyping Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Satoru Uehara , Osamu Mizuno , Tohru Kikuno Development of Session Management Mechanism for Cellular Phone with WWW Connection. [Citation Graph (0, 0)][DBLP ] Conf ] Carroll Morgan , Annabelle McIver Cost Analysis of Games, Using Program Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Colin J. Fidge Compilation of Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Dong , Ji Wang , Xuan Qi , Zhichang Qi Model Checking UML Statecharts. [Citation Graph (0, 0)][DBLP ] Conf ] Huadong Ma , Liang Li , Jianzhong Wang , Naijun Zhan Automatic Synthesis of the DC Specifications of Lip Synchronisation Protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Somsak Phattarsukol , Pornsiri Muenchaisri Identifying Candidate Objects Using Hierarchical Clustering Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Ying Zou , Kostas Kontogiannis A Framework for Migrating Procedural Code to Object-Oriented Platforms. [Citation Graph (0, 0)][DBLP ] Conf ] Byungjeong Lee , Chisu Wu An Automatic Restructuring Approach Preserving the Behavior of Object-Oriented Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Naixiao Zhang , Ying Liu A Component-Based Framework and Reusability in Garment. [Citation Graph (0, 0)][DBLP ] Conf ] Eun Sook Cho , Min Sun Kim , Soo Dong Kim Component Metrics to Measure Component Quality. [Citation Graph (0, 0)][DBLP ] Conf ] Allen H. Dutoit , Joyce Johnstone , Bernd Brügge Knowledge Scouts: Reducing Communication Barriers in a Distributed Software Development Project. [Citation Graph (0, 0)][DBLP ] Conf ] Yu-Seung Ma , Seung-Uk Oh , Doo-Hwan Bae , Yong Rae Kwon Framework for Third Party Testing of Component Software. [Citation Graph (0, 0)][DBLP ] Conf ] Huaikou Miao , Ling Liu , Chuanjiang Yu , Jijun Ming , Li Li Z User Studio: An Integrated Support Tool for Z Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Geoff Kassel , Graeme Smith Model Checking Object-Z Classes: Some Experiments with FDR. [Citation Graph (0, 0)][DBLP ] Conf ] Jing Sun , Jin Song Dong , Jing Liu , Hai Wang An XML/XSL Approach to Visualize and Animate TCOZ. [Citation Graph (0, 0)][DBLP ] Conf ] 