Conferences in DBLP
Brian Henderson-Sellers Advanced OO Modeling: Metamodels and Notations. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Henderson-Sellers Beyond RUP. [Citation Graph (0, 0)][DBLP ] Conf ] Jeannette M. Wing Survivability Analysis of Networked Systems . [Citation Graph (0, 0)][DBLP ] Conf ] Kyo Chul Kang , Ji Y. Lee , Hye J. Kim Co-development of real-time systems and their simulation environments. [Citation Graph (0, 0)][DBLP ] Conf ] Ian J. Hayes Reasoning about real-time programs using idle-invariant assertions. [Citation Graph (0, 0)][DBLP ] Conf ] Jaewon Oh , Hyokyung Bahn , Chris Wu , Kern Koh Pareto-based soft real-time task scheduling in multiprocessor systems. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd Brügge , Allen H. Dutoit , Rafael Kobylinski , Günter Teubner Transatlantic project courses in a university environment. [Citation Graph (0, 0)][DBLP ] Conf ] Paul J. Layzell , Pearl Brereton , A. French Supporting collaboration in distributed software engineering teams. [Citation Graph (0, 0)][DBLP ] Conf ] Judy Brown Bloodshot eyes: workload issues in computer science project courses. [Citation Graph (0, 0)][DBLP ] Conf ] Jesús Manuel Almendros-Jiménez , Luis González-Jiménez The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshinao Isobe , Kazuhito Ohmaki A process logic for distributed system synthesis . [Citation Graph (0, 0)][DBLP ] Conf ] Jifeng He , C. A. R. Hoare Unifying theories of healthiness condition. [Citation Graph (0, 0)][DBLP ] Conf ] Natalia Sidorova , Martin Steffen Verification of a wireless ATM medium-access protocol. [Citation Graph (0, 0)][DBLP ] Conf ] Yusuke Nonaka , Kazuo Ushijima , Jingde Cheng Monitoring facilities in languages supporting development of concurrent self-measurement programs. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Biffl , Thomas Grechenig , Monika Köhle Evaluation of inspectors' defect estimation accuracy for a requirements document after individual inspection. [Citation Graph (0, 0)][DBLP ] Conf ] Sukhamay Kundu The concept of path-closed subsets and its use in software functional design. [Citation Graph (0, 0)][DBLP ] Conf ] Clare Churcher , Theresa McLennan , Alan McKinnon Pragmatic data modelling and design for end users. [Citation Graph (0, 0)][DBLP ] Conf ] Nikolay Mehandjiev , Craig Gaskell Requirements engineering and strategic decision exploration: an area for interdisciplinary research. [Citation Graph (0, 0)][DBLP ] Conf ] Axel van Lamsweerde Building Formal Models for Software Requirements. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Biffl Analysis of the impact of reading technique and inspector capability on individual inspection performance. [Citation Graph (0, 0)][DBLP ] Conf ] Karl R. P. H. Leung , Wai Wong Deriving test cases using class vectors. [Citation Graph (0, 0)][DBLP ] Conf ] Xuandong Li , Johan Lilius Checking compositions of UML sequence diagrams for timing inconsistency. [Citation Graph (0, 0)][DBLP ] Conf ] Padmanabhan Krishnan Consistency checks for UML. [Citation Graph (0, 0)][DBLP ] Conf ] Michihiro Matsumoto , Kokichi Futatsugi The support tool for highly reliable component-based software development. [Citation Graph (0, 0)][DBLP ] Conf ] Juliana Küster Filipe , Kung-Kiu Lau , Mario Ornaghi , Kenji Taguchi , Hirokazu Yatsu , Alan Wills Formal specification of Catalysis frameworks. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Hermansson , Mattias Johansson , Lars Lundberg A distributed component architecture for a large telecommunication application. [Citation Graph (0, 0)][DBLP ] Conf ] Amnart Pohthong , David Budgen Accessing software component documentation during design: an observational study. [Citation Graph (0, 0)][DBLP ] Conf ] Toshihiko Tsumaki , Yoshitomi Morisawa A framework of requirements tracing using UML. [Citation Graph (0, 0)][DBLP ] Conf ] Keith H. Bennett , Paul J. Layzell , David Budgen , Pearl Brereton , Linda A. Macaulay , Malcolm Munro Service-based software: the future for flexible software. [Citation Graph (0, 0)][DBLP ] Conf ] Nigel Stanger Translating descriptions of a viewpoint among different representations. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Matthews , Paul A. Swatman Fuzzy concepts and formal methods: some illustrative examples. [Citation Graph (0, 0)][DBLP ] Conf ] Soon-Kyeong Kim , David A. Carrington An integrated framework with UML and Object-Z for developing a precise and understandable specification: the light control case study. [Citation Graph (0, 0)][DBLP ] Conf ] WoonKiong Tan A semantic model of a small typed functional language using Object-Z. [Citation Graph (0, 0)][DBLP ] Conf ] Greg Reeve , Steve Reeves mu-Charts and Z: examples and extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Yang Li , Hongji Yang , William C. Chu Fusing ambiguous domain knowledge slices in a reverse engineering process. [Citation Graph (0, 0)][DBLP ] Conf ] Lindsay Groves A formal approach to program modification. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Cox , Charles L. A. Clarke A comparative evaluation of techniques for syntactic level source code analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Henrik Bærbak Christensen , Henrik Røn A case study of horizontal reuse in a project-driven organisation. [Citation Graph (0, 0)][DBLP ] Conf ] Volker H. Schroeter PMF/GRIP a framework for the development and implementation of reuse models. [Citation Graph (0, 0)][DBLP ] Conf ] Martin K. Purvis , Maryam Purvis , Selena Lemalu An adaptive distributed workflow system framework. [Citation Graph (0, 0)][DBLP ] Conf ] Kenha Park , Jintae Kim , Sooyong Park Goal based agent-oriented software modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Vincenza Carchiolo , S. D'ambra , Alessandro Longheu , Michele Malgeri Issues in object orienting the ST Microelectronics manufacturing model. [Citation Graph (0, 0)][DBLP ] Conf ] Karl R. P. H. Leung Extending Statecharts with ad lib and multi-thread features. [Citation Graph (0, 0)][DBLP ] Conf ] Rakesh Agarwal , Giorgio Bruno , Marco Torchiano Enterprise modeling using class and instance models. [Citation Graph (0, 0)][DBLP ] Conf ] Yan Xia , Anthony Tung Shuen Ho , YuCheng Zhang CIMO - Component Integration MOdel. [Citation Graph (0, 0)][DBLP ] Conf ] Takeshi Chusho , Hisashi Ishigure , Naoyuki Konda , Tomoaki Iwata Component-based application development on architecture of a model, UI and components. [Citation Graph (0, 0)][DBLP ] Conf ] Jooyoung Seo , Byoungju Choi Tailoring test process by using the component-based development paradigm and the XML technology. [Citation Graph (0, 0)][DBLP ] Conf ] D. Janaki Ram , M. Sreekanth Reusable integrated components of inter-related patterns for software development. [Citation Graph (0, 0)][DBLP ] Conf ] Xia Cai , Michael R. Lyu , Kam-Fai Wong , Roy Ko Component-based software engineering: technologies, development frameworks, and quality assurance schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Gene F. Hoffnagle Experiences in Systems Evolution: Practical Aspects and Cautionary Tales. [Citation Graph (0, 0)][DBLP ] Conf ] Gay Costain Selecting an object-oriented process for student analysts. [Citation Graph (0, 0)][DBLP ] Conf ] Atsuo Hazeyama , Keiji Osada , Youzou Miyadera , Setsuo Yokoyama An education support system of information system design and implementation and lessons learned from its application. [Citation Graph (0, 0)][DBLP ] Conf ] Ivica Crnkovic , Magnus Larsson , Frank Lüders Implementation of a software engineering course for computer science students. [Citation Graph (0, 0)][DBLP ] Conf ] J. Paynter , J. Ong , L. Frazer A preliminary comparison of computer mediated training tools. [Citation Graph (0, 0)][DBLP ] Conf ] Motoshi Saeki Behavioral specification of GOF design patterns with LOTOS. [Citation Graph (0, 0)][DBLP ] Conf ] Li Shuguang , Jiang Qing , Chris George Combining case-based and model-based reasoning: a formal specification. [Citation Graph (0, 0)][DBLP ] Conf ] Shaoying Liu , Tetsuo Fukuzaki , Koji Miyamoto A GUI and testing tool for SOFL. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Henderson-Sellers , Richard Dué , Ian M. Graham , Graham Collins Third generation OO processes: a critique of RUP and OPEN from a project management perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Brian Henderson-Sellers , M. K. Serour Creating a process for transitioning to object technology. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey G. Roy , Terence L. Woodings A framework for risk analysis in software engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Danita Hartley , Neville Churcher , Greg Albertson Virtual worlds for Web site visualisation. [Citation Graph (0, 0)][DBLP ] Conf ] Houari A. Sahraoui , A. M. Boukadoum , Hakim Lounis , Frédéric Ethève Predicting class libraries interface evolution: an investigation into machine learning approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Vojislav B. Misic Coherence equals cohesion-or does it? [Citation Graph (0, 0)][DBLP ] Conf ] Clare Churcher , Alan McKinnon , Roger Jarquin Visualising the influence of data structure choice on the performance of a distributed database system. [Citation Graph (0, 0)][DBLP ] Conf ] Mariusz Nowostawski , Geoff Bush , Martin K. Purvis , Stephen Cranefield Platforms for agent-oriented software engineering. [Citation Graph (0, 0)][DBLP ] Conf ] Jessica Chen A study on static analysis in network of synchronizing FSMs. [Citation Graph (0, 0)][DBLP ] Conf ] 