Cs-Se
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata
PAI Data, Summary of the Project PAI Data Protocol
A Metric Encoding for Bounded Model Checking (extended version)
Towards maintainer script modernization in FOSS distributions
Situational Method Engineering: Fundamentals and Experiences
XML Rewriting Attacks: Existing Solutions and their Limitations
A Parsing Scheme for Finding the Design Pattern and Reducing the Development Cost of Reusable Object Oriented Software
Predicting Coding Effort in Projects Containing XML Code
Une semantique observationnelle du mod`ele des bo^ites pour la resolution de programmes logiques (version etendue)
The Importance Analysis of Use Case Map with Markov Chains
Excel Modelling - Transparency, Auditing and Business Use
Defending the future: An MSc module in End User Computing Risk Management
ImageSpace: An Environment for Image Ontology Management
Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems - Report on the Workshop ICOOOLPS2007 at ECOOP07
Multilevel Contracts for Trusted Components
Mayavi: a package for 3D visualization of scientific data
What we understand is what we get: Assessment in Spreadsheets
Selection of Architecture Styles using Analytic Network Process for the Optimization of Software Architecture
An architecture-based dependability modeling framework using AADL
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation
Ftklipse - Design and Implementation of an Extendable Computer Forensics Environment: Specification Design Document
The Detection of Human Spreadsheet Errors by Humans versus Inspection (Auditing) Software
