Conferences in DBLP
Dines Bjørner Software Systems Engineering-From Domain Analysis Via Requirements Capture to Software Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Motoshi Saeki Communication, Collaboration, and Cooperation in Software Development-How Should We Support Group Work in Software Development? [Citation Graph (0, 0)][DBLP ] Conf ] Tsong Yueh Chen , Chi Keen Low Dynamic Data Flow Analysis for C++. [Citation Graph (0, 0)][DBLP ] Conf ] Tetsuro Katayama , Zengo Furukawa , Kazuo Ushijima Event Interactions Graph for Test-case Generation of Concurrent Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Sadahiro Isoda A Criticism on the Capture-and-Recapture Method for Software Reliability Assurance. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane S. Somé , Rachida Dssouli , Jean G. Vaucher From Scenarios to Timed Automata: Building Specifications from Users Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Laurent Perrussel Expressing Inter-Perspective Relationships: A Logical Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuyuki Miura , Haruhiko Kaiya , Motoshi Saeki Building the Structure of Specification Documents from Utterances of Requirements Elicitation Meetings. [Citation Graph (0, 0)][DBLP ] Conf ] Lu Xu , Michal Young Two Dimensional Concurrent Program Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz W. Schmidt , Jian Chen Reasoning about Concurrent Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Hyun Seop Bae , Yong Rae Kwon , Hyeon Soo Kim An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. [Citation Graph (0, 0)][DBLP ] Conf ] Chien-Min Wang , Y. S. Kuo Class Exerciser: A Basic CASE Tool for Object-Oriented Development. [Citation Graph (0, 0)][DBLP ] Conf ] Suk-hyung Hwang , Yoshihiro Tsujino , Nobuki Tokura A Reorganization Framework of the Object-Oriented Class Hierarchy. [Citation Graph (0, 0)][DBLP ] Conf ] Kapsu Kim , Yeongi Shin , Chisu Wu Complexity Measures for Object-Oriented Program Based on the Entropy. [Citation Graph (0, 0)][DBLP ] Conf ] John W. Daly , James Miller , Andrew Brooks , Marc Roper , Murray Wood A Survey of Experiences amongst Object-Oriented Practitioners. [Citation Graph (0, 0)][DBLP ] Conf ] Val E. Veraart , S. L. Wright Software Engineering Education - Adding Process to Projects Theory, Practice and Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Mikio Aoyama Management of Distributed Concurrent Development for Large-Scale Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] António Rito Silva , Pedro Sousa , José Alves Marques Development of Distributed Applications with Separation of Concerns. [Citation Graph (0, 0)][DBLP ] Conf ] Wilson C. H. Cheng , Xiaohua Jia A Hierarchical Framework for Designing Reliable Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Fumihiro Kumeno , Yasuyuki Tahara , Akihiko Ohsuga , Shinichi Honiden Evolutional Agents: Field Oriented Programming Language, Flage. [Citation Graph (0, 0)][DBLP ] Conf ] Flavio De Paoli , Francesco Tisato Architectural Abstractions for Real-Time Software. [Citation Graph (0, 0)][DBLP ] Conf ] Woei-Jiunn Tsaur , Shi-Jinn Horng Toward Software Metrics for Distributed Software. [Citation Graph (0, 0)][DBLP ] Conf ] Tsong Yueh Chen , Hing Leung , Yuen-Tak Yu On the Analysis of Subdomain Testing Strategies. [Citation Graph (0, 0)][DBLP ] Conf ] Chyan-Goei Chung , Jen-Gaw Lee An Enhanced Zero-One Optimal Path Set Selection Method. [Citation Graph (0, 0)][DBLP ] Conf ] Hyoung Seok Hong , Yong Rae Kwon , Sung Deok Cha Testing of Object-Oriented Programs Based on Finite State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Harumi Watanabe , Tomohiro Kudoh Test Suite Generation Methods for Concurrent Systems Based on Colored Petri Nets. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiaki Kasahara , Yoshinari Nomura , Masayuki Kamachi , Jingde Cheng , Kazuo Ushijima An Integrated Support Environment for Distributed Software Development based on Unified Program Representations. [Citation Graph (0, 0)][DBLP ] Conf ] John C. Grundy , John G. Hosking Software Environment Support for Integrated Formal Program Specification and Development. [Citation Graph (0, 0)][DBLP ] Conf ] Keith J. Ransom , Chris D. Marlin Modelling Systems that Integrate Programming Language and Environment Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Han Providing Configuration Management Support in Software Engineering Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Utting Animating Z: Interactivity, Transparency and Equivalence. [Citation Graph (0, 0)][DBLP ] Conf ] Jin Song Dong Living with Free Type and Class Union. [Citation Graph (0, 0)][DBLP ] Conf ] David J. Duke , Philip J. Barnard , Jon May , David A. Duce Systematic Development of the Human Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshio Kataoka , Masayuki Hirayama , Jiro Okayasu , Tetsuji Fukaya An Approach to Reverse Quality Assurance with Data-Oriented Program Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Judy Bamberger , James Hook Teaching Software Quality and Leadership: Experiences and Successes. [Citation Graph (0, 0)][DBLP ] Conf ] Sun Sup So , Yongseop Lim , Sung Deok Cha , Yong Rae Kwon An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection. [Citation Graph (0, 0)][DBLP ] Conf ] Lindsay Groves Deriving Programs by Combining and Adapting Refinement Scripts. [Citation Graph (0, 0)][DBLP ] Conf ] Saeko Matsuura , Shinichi Honiden Knowledge Acquisition and Integration on Specification Change-A Method for Systematic Reuse. [Citation Graph (0, 0)][DBLP ] Conf ] Hyuksoo Han Relationship Between Query Interface and Profiles in Reuse Support System. [Citation Graph (0, 0)][DBLP ] Conf ] Karl R. P. H. Leung , Daniel K. C. Chan Prototyping the Structured Specification as Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Akihiko Matsuo , Sanya Uehara , Minako Kimura A Maintenance Support System based on High-Level Control-Flow and Data Dependency. [Citation Graph (0, 0)][DBLP ] Conf ] Hisayuki Horai Flexible Module Operation Scheme in Formal Specification Process. [Citation Graph (0, 0)][DBLP ] Conf ] Cristina Cifuentes An Environment for the Reverse Engineering of Executable Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Atsushi Ohnishi CARD: An Environment for Software Requirements Definition. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Harmsen , Sjaak Brinkkemper Design and Implementation of a Method Base Management System for a Situational CASE Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Lee Taeheun , Chisu Wu A Simple Configuration Management System for CASE Repository. [Citation Graph (0, 0)][DBLP ] Conf ] John V. Harrison , Paul A. Bailes , Anthony Berglas , Ian Peake Re-engineering 4GL-based Information System Applications. [Citation Graph (0, 0)][DBLP ] Conf ] David Leadbetter An Integrated Approach to IS modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Dißmann , Volker Gruhn , Dirk Ohrndorf Integration of Software Process Management and Development History Recording. [Citation Graph (0, 0)][DBLP ] Conf ] H. Becht , John Staples Soft Typing of General First-Order Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Graeme Smith Reasoning about Object-Z Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Shaoying Liu , Rolf Adams Limitations of Formal Methods and an Approach to Improvement. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Zucconi Software Process Improvement Paradigms. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Zucconi Software Process Improvement Paradigms for IT Industry: Why the Bottom-Up Approach Fits Best. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Imbor-Maciag The Ericsson's Approach to Software Improvements. [Citation Graph (0, 0)][DBLP ] Conf ] Ian J. Hayes , Keijiro Araki , David J. Duke , Val E. Veraart Are Formal Methods Relevant? [Citation Graph (0, 0)][DBLP ] Conf ] Graham C. Low , D. Ross Jeffery , Ray Offen , Judy Bamberger Is Software Engineering Really Engineering? [Citation Graph (0, 0)][DBLP ] Conf ] Graham Low Is Software Engineering Really Engineering? [Citation Graph (0, 0)][DBLP ] Conf ] Ray Offen Is Software Engineering Really Engineering? [Citation Graph (0, 0)][DBLP ] Conf ] D. Ross Jeffery Software Engineering Research Validation. [Citation Graph (0, 0)][DBLP ] Conf ] 