On Compositional Reasoning for Guaranteeing Probabilistic Properties
On Coordinating Collaborative Objects
On Generation of Firewall Log Status Reporter (SRr) Using Perl
On How Developers Test Open Source Software Systems
On Implementation of a Safer C Library, ISO/IEC TR 24731
On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems
On Object-Orientation
On Testing Constraint Programs
On the adaptive control of a phased array telescope
On the Cooperation of Independent Registries
On the Detection of High-Impact Refactoring Opportunities in Programs
On the reaction time of some synchronous systems
On the Role of Service Concept in IT
On the Simulation of Time-Triggered Systems on a Chip with BIP
On the Software and Knowledge Engineering Aspects of the Educational Process
On-board software testing and qualification
On-the-fly Query-Based Debugging with Examples
Online Verification of Control Parameter Calculations in Communication Based Train Control System
Ontological Representations of Software Patterns
Open Data: Reverse Engineering and Maintenance Perspective