default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th ASWEC 2009: Gold Cost, Australia
- 20th Australian Software Engineering Conference (ASWEC 2009), 14-17 April 2009, Gold Cost, Australia. IEEE Computer Society 2009, ISBN 978-0-7695-3599-9
- Brijesh Dongol
, Ian J. Hayes:
Enforcing Safety and Progress Properties: An Approach to Concurrent Program Derivation. 3-12 - Benjamin Stopford, Steve Counsell, Emal Nasseri:
Simulating Software Evolution with Varying Numbers of Developers and Validation Using OSS. 13-22 - Toby Myers, R. Geoff Dromey:
From Requirements to Embedded Software - Formalising the Key Steps. 23-33 - Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff:
Change Propagation Analysis Using Domain Information. 34-43 - Nina Moebius, Kurt Stenzel, Holger Grandy, Wolfgang Reif:
Model-Driven Code Generation for Secure Smart Card Applications. 44-53 - M. Shaban Jokhio, Gillian Dobbie, Jing Sun:
Towards Specification Based Testing for Semantic Web Services. 54-63 - Judy Bowen, Steve Reeves:
Supporting Multi-path UI Development with Vertical Refinement. 64-72 - Stuart M. Charters, David Budgen, Mark Turner, Barbara A. Kitchenham, Pearl Brereton, Stephen G. Linkman:
Objectivity in Research: Challenges from the Evidence-Based Paradigm. 73-80 - Norhayati Mohd. Ali, John G. Hosking, Jun Huh, John C. Grundy:
Critic Authoring Templates for Specifying Domain-Specific Visual Language Tool Critics. 81-90 - Ewan D. Tempero:
How Fields are Used in Java: An Empirical Study. 91-100 - Liam O'Brien:
A Framework for Scope, Cost and Effort Estimation for Service Oriented Architecture (SOA) Projects. 101-110 - Jun Huh, John C. Grundy, John G. Hosking, Karen Na-Liu Li, Robert Amor:
Integrated Data Mapping for a Software Meta-tool. 111-120 - Sakura She, Sasindran Sivapalan, Ian Warren:
Hermes: A Tool for Testing Mobile Device Applications. 121-130 - Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry:
Semantic Impact and Faults in Source Code Changes: An Empirical Study. 131-141 - Cameron M. Hine, Jean-Guy Schneider, Jun Han, Steven Versteeg:
Scalable Emulation of Enterprise Systems. 142-151 - Trent Kroeger, Neil J. Davidson:
A Perspective-Based Model of Quality for Software Engineering Processes. 152-161 - Zafar Mehboob, Didar Zowghi, David B. Lowe:
An Approach for Comparison of Architecture Level Change Impact Analysis Methods and Their Relevance in Web Systems Evolution. 162-172 - Kirsten Winter, Robert Colvin, R. Geoff Dromey:
Dynamic Relational Behaviour for Large-Scale Systems. 173-182 - Azlan B. Ismail, Jun Yan, Jun Shen:
Dynamic Service Selection for Service Composition with Time Constraints. 183-190 - Justin King, Alan W. Colman:
A Multi Faceted Management Interface for Web Services. 191-199 - David A. McMeekin, Brian R. von Konsky, Michael C. Robey, David J. A. Cooper:
The Significance of Participant Experience when Evaluating Software Inspection Techniques. 200-209 - Liwei Shen, Xin Peng, Wenyun Zhao:
A Comprehensive Feature-Oriented Traceability Model for Software Product Line Development. 210-219 - Sajjad Mahmood, Richard Lai:
RE-UML: An Extension to UML for Specifying Component-Based Software System. 220-228 - Shayne Flint:
A Conceptual Model of Software Engineering Research Approaches. 229-236 - Alessandra Cavarra:
Inter-agent Data Flow Analysis of Abstract State Machines. 237-245 - Huaxi (Yulin) Zhang, Christelle Urtado, Sylvain Vauttier:
Connector-Driven Process for the Gradual Evolution of Component-Based Software. 246-255 - Peter Fritzson, Adrian Pop, David Broman, Peter Aronsson:
Formal Semantics Based Translator Generation and Tool Development in Practice. 256-266 - Uolevi Nikula, Petri Oinonen, Lea Hannola:
Extending Process Improvement into a New Organizational Unit. 267-276 - Yang Zhao, John Boyland:
Assuring Lock Usage in Multithreaded Programs with Fractional Permissions. 277-286 - Qin Li, Huibiao Zhu, Jifeng He:
A Formal Perspective for Service Coordination Framework in Service Oriented Architecture. 287-296 - Huibiao Zhu, Yongxin Zhao, Jifeng He:
Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. 297-306 - Paul L. Bannerman:
Risk Implications of Software Project Organization Structures. 307-316 - Jean-Guy Schneider, Markus Lumpe:
Component Coordination in GLoo. 317-326 - Jacky Keung:
Software Development Cost Estimation Using Analogy: A Review. 327-336 - Andrew J. Robinson, J. Wenny Rahayu, Tharam S. Dillon:
WAD Workflow System: Data-Centric Workflow System. 337-344 - He Zhang, Barbara A. Kitchenham, D. Ross Jeffery:
Qualitative vs. Quantitative Software Process Simulation Modeling: Conversion and Comparison. 345-354
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-22 23:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
