Conferences in DBLP
Takuya Katayama Science of Software Changes. [Citation Graph (0, 0)][DBLP ] Conf ] Bertrand Meyer Blueprint for Real Progress in Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Shi-Kuo Chang Is There a Happy Marriage between Software Engineering and Knowledge Engineering?. [Citation Graph (0, 0)][DBLP ] Conf ] Martin S. Feather , Tim Menzies , Judith R. Connelly Matching Software Practitioner Needs to Researcher Activities. [Citation Graph (0, 0)][DBLP ] Conf ] Junzo Kato , Morio Nagata , Shuichiro Yamamoto , Motoshi Saeki , Haruhiko Kaiya , Hisayuki Horai , Atsushi Ohnishi , Seiichi Komiya , Kenji Watahiki PAORE: Package Oriented Requirements Elicitation. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Martin , Andrew Simpson Generalising the Z Schema Calculus: Database Schemas and Beyond. [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Deutsch , Martin C. Henson An Analysis of Backward Simulation Data-Refinement for Partial Relation Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Guy H. Broadfoot , Philippa J. Broadfoot Academia and industry meet: Some experiences of formal methods in practice. [Citation Graph (0, 0)][DBLP ] Conf ] Tao Qin , Lu Zhang , Zhiying Zhou , Dan Hao , Jiasu Sun Discovering Use Cases from Source Code using the Branch-Reserving Call Graph. [Citation Graph (0, 0)][DBLP ] Conf ] Wei Zhao , Lu Zhang , Yin Liu , Jing Luo , Jiasu Sun Understanding How the Requirements Are Implemented in Source Code. [Citation Graph (0, 0)][DBLP ] Conf ] A. S. M. Sajeev , Bugi Wibowo Regression Test Selection Based on Version Changes of Components. [Citation Graph (0, 0)][DBLP ] Conf ] Nguyen Truong Thang , Takuya Katayama Towards a Sound Modular Model Checking of Collaboration-Based Software Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Anita Goel , S. C. Gupta , S. K. Wasan Controllability Mechanism for Object-Oriented Software Testing. [Citation Graph (0, 0)][DBLP ] Conf ] Xin Wang , Qi Yan , XinJun Mao , Zhi-Chang Qi Generating Test Oracle for Role Binding in Multi-Agent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hongyu Zhang , Stan Jarzabek An XVCL Approach to Handling Variants: A KWIC Product Line Example. [Citation Graph (0, 0)][DBLP ] Conf ] Minseong Kim , Hwasil Yang , Sooyong Park A Domain Analysis Method for Software Product Lines Based on Scenarios, Goals and Features. [Citation Graph (0, 0)][DBLP ] Conf ] Jihyun Lee , Jinsam Kim , Gyu-Sang Shin Facilitating Reuse of Software Components using Repository Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Jarrott , Anthony MacDonald Developing Relational Navigation to Effectively Understand Software. [Citation Graph (0, 0)][DBLP ] Conf ] Shahida Sulaiman , Norbik Bashah Idris , Shamsul Sahibuddin , Sarina Sulaiman Re-documenting, Visualizing and Understanding Software System Using DocLike Viewer. [Citation Graph (0, 0)][DBLP ] Conf ] Satish Chandra Gupta , Tien Nhut Nguyen , Ethan V. Munson The Software Concordance: Using a Uniform Document Model to Integrate Program Analysis and Hypermedia. [Citation Graph (0, 0)][DBLP ] Conf ] Orieta Celiku , Joakim von Wright Implementing Angelic Nondeterminism. [Citation Graph (0, 0)][DBLP ] Conf ] Yong Xia , Martin Glinz Rigorous EBNF-based Definition for a Graphic Modeling Language. [Citation Graph (0, 0)][DBLP ] Conf ] Moshe Deutsch , Martin C. Henson , Besnik Kajtazi Modular refinement in novel schema calculi. [Citation Graph (0, 0)][DBLP ] Conf ] Whey Seen Heah , Mohamed K. Omar A Two-Level Hierarchy Software Architecture Framework for the Manufacturing Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Yuming Zhou , Lijie Wen , Jianmin Wang , Yujian Chen , Hongmin Lu , Baowen Xu DRC: A Dependence Relationships Based Cohesion Measure for Classes. [Citation Graph (0, 0)][DBLP ] Conf ] Wuwei Shen , Kevin J. Compton , James Huggins A Method of Implementing UML Virtual Machines With Some Constraints Based on Abstract State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Ceravolo , Ernesto Damiani , Michele Marchesi , Sandro Pinna , Francesco Zavatarelli A Ontology-based Process Modelling for XP. [Citation Graph (0, 0)][DBLP ] Conf ] Kamal Zuhairi Zamli , Peter Lee Modeling and Enacting Software Processes Using VRPML. [Citation Graph (0, 0)][DBLP ] Conf ] Pornthep Seawlho , Taratip Suwannasart A SCM Workflow Model for CMM Organizations. [Citation Graph (0, 0)][DBLP ] Conf ] Ju Wang , Jinmiao Li , Greg Butler Implementing the PostgreSQL Query Optimizer within the OPT++ Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Kazutoshi Shimanaka , Junji Koga , Naoki Sugiwaka , Takeshi Sakamoto Application method for process frame-work. [Citation Graph (0, 0)][DBLP ] Conf ] Kunihiko Chiken , Atsuo Hazeyama Awareness Support in Group-based Software Engineering Education System. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Cook , Neville Churcher An Extensible Framework for Collaborative Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Jia Yu , Jan Newmarch , Michael Geisler JINI/J2EE Bridge for Large-scale IP Phone Services. [Citation Graph (0, 0)][DBLP ] Conf ] Deron Liang , Chen-Liang Fang , Chyouhwa Chen , Fengyi Lin Fault tolerant web service. [Citation Graph (0, 0)][DBLP ] Conf ] Jason McDonald , Paul A. Strooper , Daniel Hoffman Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Nguyen Thanh Binh , Michel Delaunay , Chantal Robach Testing Criteria for Data Flow Software. [Citation Graph (0, 0)][DBLP ] Conf ] Thitima Srivatanakul , John A. Clark , Susan Stepney , Fiona Polack Challenging Formal Specifications by Mutation: a CSP security example. [Citation Graph (0, 0)][DBLP ] Conf ] Sihem Ben Sassi , Lamia Labed Jilani , Henda Hajjami Ben Ghézala COTS Characterization Model in a COTS-Based Development Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroyuki Ozaki , Shingo Ban , Katsuhiko Gondow , Takuya Katayama An Environment for Evolutionary Prototyping Java Programs based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Suhaimi Ibrahim , Norbik Bashah Idris , Aziz Deraman Case study: Reconnaissance techniques to support feature location using RECON2. [Citation Graph (0, 0)][DBLP ] Conf ] Sukhamay Kundu Modeling Complex Systems by A Set of Interacting Finite-State Models. [Citation Graph (0, 0)][DBLP ] Conf ] Kevin Chan , Leon Sterling Specifying Roles within Agent-Oriented Software Engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Jung-Hwa Chae , Cheol-Jung Yoo , Yong-Sung Kim , Ok-Bae Chang XSLT Template Design for Generating the Web Presentation Layer. [Citation Graph (0, 0)][DBLP ] Conf ] Vangalur S. Alagar , M. Chen , Olga Ormandjieva , Mao Zheng Automated Test Generation from Object-Oriented Specifications of Real-Time Reactive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin W. Long Formal Verification of Type Flaw Attacks in Security Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Ralph-Johan Back , Xiaocong Fan , Viorel Preoteasa Reasoning about Pointers in Refinement Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Han , Ksze Kae Ker Ensuring Compatible Interactions within Component-based Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] David Hemer Specification matching of state-based modular components. [Citation Graph (0, 0)][DBLP ] Conf ] Valerie Maxville , Chiou Peng Lam , Jocelyn Armarego Selecting Components: a Process for Context-Driven Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Senyard , Edmund Kazmierczak , Leon Sterling Software Engineering Methods for Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Popp , Jan Jürjens , Guido Wimmel , Ruth Breu Security-Critical System Development with Extended Use Cases. [Citation Graph (0, 0)][DBLP ] Conf ] Siv Hilde Houmb , Jan Jürjens Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec. [Citation Graph (0, 0)][DBLP ] Conf ] Yuk Kuen Wong , David Wilson Exploring the Relationship between Experience and Group Performance in Software Review. [Citation Graph (0, 0)][DBLP ] Conf ] Shaoying Liu Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification. [Citation Graph (0, 0)][DBLP ] Conf ] Lesley Pek Wee Land , Bernard Wong , D. Ross Jeffery An Extension of the Behavioral Theory of Group Performance in Software Development Technical Reviews. [Citation Graph (0, 0)][DBLP ] Conf ] Doug Goldson Extending the theory of Owicki and Gries with asynchronous message passing. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Nicoloudis , Christine Mingins Psachno: A Dynamic and Generic Discovery Framework within a Peer-to-Peer Network Model. [Citation Graph (0, 0)][DBLP ] Conf ] Pattara Leelaprute , Masahide Nakamura , Ken-ichi Matsumoto , Tohru Kikuno Evaluating Semantic Warnings in VoIP Programmable Services with Open Source Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Jinmiao Li , Yun Mai , Greg Butler Implementing Exception Handling Policies for Workflow Management System. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaoguang Zhang , Jian Cao , Shen-sheng Zhang An Extended Policy Language for Role Resolution in Project-Oriented Workflow. [Citation Graph (0, 0)][DBLP ] Conf ] 