Cs-Se
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems
Lessons Learned From Microkernel Verification -- Specification is the New Bottleneck
A model driven method for promoting reuse in SOA-solutions by managing variability
Contemporary Semantic Web Service Frameworks: An Overview and Comparisons
Functional Programming and Security
User Defined Spreadsheet Functions in Excel
Comparing Soft Computing Techniques For Early Stage Software Development Effort Estimations
Design of modular wireless sensor
Aspects of SOA: An Entry Point for Starters
Rapid Application Development Using Software Factories
Enhancing the SysLab System Model with State
Stepwise Refinement of Data Flow Architectures
Hierarchical XP
Event Handling in ET++ - A Case Study in the Algebraic Specification of Object-Oriented Application Frameworks
UML-F: A Modeling Language for Object-Oriented Frameworks
An Approach for Agile SOA Development using Agile Principals
Sysml Knowledge base for Designing Dependable Complex System
Automatic Verification of Message-Based Device Drivers
A use case driven approach for system level testing
Bring out your codes! Bring out your codes! (Increasing Software Visibility and Re-use)
Merging Process Algebra and Action-based Computation Tree Logic
FReD: Automated Debugging via Binary Search through a Process Lifetime
