2005 share record
persistent URL:
Marc Aiguier , Pascale Le Gall , Delphine Longuet , Assia Touil : A Temporal Logic for Input Output Symbolic Transition Systems. APSEC 2005 : 43-50 export record
dblp key:
conf/apsec/AkinagaOTKMM05 share record
persistent URL:
Tomohiro Akinaga , Naoki Ohsugi , Masateru Tsunoda , Takeshi Kakimoto , Akito Monden , Ken-ichi Matsumoto : Recommendation of Software Technologies Based on Collaborative Filtering. APSEC 2005 : 209-216 share record
persistent URL:
Sven Apel , Thomas Leich , Gunter Saake : Aspect Refinement and Bounding Quantification in Incremental Designs. APSEC 2005 : 796-804 share record
persistent URL:
Darren C. Atkinson , Todd King : Lightweight Detection of Program Refactorings. APSEC 2005 : 663-670 share record
persistent URL:
Ralph-Johan Back , Magnus Myreen : Tool Support for Invariant Based Programming. APSEC 2005 : 711-718 share record
persistent URL:
Linda Badri , Mourad Badri , Daniel St-Yves : Supporting Predictive Change Impact Analysis: A Control Call Graph Based Technique. APSEC 2005 : 167-175 share record
persistent URL:
James R. Birt , Renate Sitte : Identifying Error Proneness in Path Strata with Genetic Algorithms. APSEC 2005 : 439-446 share record
persistent URL:
Jens R. Calamé , Natalia Ioustinova , Jaco van de Pol , Natalia Sidorova : Data Abstraction and Constraint Solving for Conformance Testing. APSEC 2005 : 541-548 share record
persistent URL:
Robert Chandler , Chiou Peng Lam , Huaizhong Li : AD2US: An Automated Approach to Generating Usage Scenarios from UML Activity Diagrams. APSEC 2005 : 9-16 share record
persistent URL:
Yung-Shen Chang , Nai-Wei Lin : A Tool for Constructing Syntax-Directed Editors. APSEC 2005 : 697-704 share record
persistent URL:
Kung Chen : Using Dynamic Aspects for Delegating Fine-Grained Access Rights. APSEC 2005 : 783-789 share record
persistent URL:
Chien-An Chen , Sara Kalvala , Jane E. Sinclair : Race-free Scenarios of Message Sequence Charts. APSEC 2005 : 138-148 share record
persistent URL:
Feng Chen , Shaoyun Li , William Cheng-Chung Chu : Feature Analysis for Service-Oriented Reengineering. APSEC 2005 : 201-208 share record
persistent URL:
Jinjun Chen , Yun Yang : A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. APSEC 2005 : 299-306 share record
persistent URL:
Yu Chin Cheng , Jung-Sing Jwo : Exception Handling: An Architecture Model and Utility Support. APSEC 2005 : 359-366 share record
persistent URL:
Eun-Hye Choi , Hiroshi Watanabe : Model Checking Class Specifications forWeb Applications. APSEC 2005 : 67-78 share record
persistent URL:
Carl Cook , Warwick Irwin , Neville Churcher : A User Evaluation of Synchronous Collaborative Software Engineering Tools. APSEC 2005 : 705-710 share record
persistent URL:
Moshe Deutsch , Martin C. Henson : An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. APSEC 2005 : 149-158 share record
persistent URL:
Bastian Dölle , Walter Dosch : Transforming Functional Signatures of Algebraic Specifications Into Object-Oriented Class Signatures. APSEC 2005 : 323-332 share record
persistent URL:
Jin Song Dong , Yuzhang Feng , Yuan-Fang Li , Jun Sun : A Tools Environment for Developing and Reasoning about Ontologies. APSEC 2005 : 465-472 share record
persistent URL:
Walter Dosch : A Loose Interaction Pattern for Asynchronous Components. APSEC 2005 : 222-230 share record
persistent URL:
Rambabu Duddukuri , T. V. Prabhakar : On Archiving Architecture Documents. APSEC 2005 : 351-358 share record
persistent URL:
Satoru Endo , Toshiyuki Miyamoto , Sadatoshi Kumagai , Taku Fujii : On Simulation of BPEL4WS/UML Descriptions. APSEC 2005 : 103-112 share record
persistent URL:
Colin J. Fidge , Phil Cook : Model Checking Interrupt-Dependent Software. APSEC 2005 : 51-58 share record
persistent URL:
Yujian Fu , Zhijiang Dong , Xudong He : An Approach to Validation of Software Architecture Model. APSEC 2005 : 375-384 share record
persistent URL:
Roy Grønmo , Michael C. Jaeger : Model-Driven Semantic Web Service Composition. APSEC 2005 : 79-86 share record
persistent URL:
Heqing Guan , Beihong Jin , Jun Wei , Wei Xu , Ningjiang Chen : A Framework for Application Server Based Web Services Management. APSEC 2005 : 95-102 share record
persistent URL:
Nicolas Guelfi , Amel Mammar : A Formal Semantics of Timed Activity Diagrams and its PROMELA Translation. APSEC 2005 : 283-290 share record
persistent URL:
Ping Guo , Gregor Engels , Reiko Heckel : Architectural Style - Based Modeling and Simulation of Complex Software Systems. APSEC 2005 : 367-374 share record
persistent URL:
Hwai-Jong Hsu , Feng-Jian Wang , Da-Li Yang : An Incremental Analysis to Workflow Specifications. APSEC 2005 : 122-129