Search results for: Kung-Kiu Lau
Lecture Notes in Computer Science > Component-Based Software Engineering > Communication and Composition > 121-139
Lecture Notes in Computer Science > Software Composition > Session: Structural Composition > 266-280
Lecture Notes in Computer Science > Component-Based Software Engineering > Component-Based Architectures and Change > 1-16
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Rewriting and Object-Oriented Development > 260-261
Lecture Notes in Computer Science > Component-Based Software Engineering > Composition and (De)-composition of Component-Based Systems > 232-251
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Development > 198-214
Lecture Notes in Computer Science > Component-Based Software Engineering > Quality of Service, Runtime Verification and Monitoring > 107-123
Lecture Notes in Computer Science > Computational Logic: Logic Programming and Beyond > Software Development > 347-373
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Development > 168-190