Binary code similarity analysis (BCSA) is widely used for diverse security applications,
including plagiarism detection, software license violation detection, and vulnerability …

Reuse between software systems is often not optimal. An important reason is that while at
the functional level well-known modularization principles are applied for structuring …

Recent developments in component technology enable the construction of complex software
systems by assembling off-the-shelf components. However, it is still difficult to develop …

In this work the automatic generation of program analyzers from concise specifications is
presented. It focuses on provably correct and complex interprocedural analyses for real …

Many scientific communities have adopted community-based models that integrate multiple
components to simulate whole system dynamics. The community software projects' …

Component technology promotes code reuse by enabling the construction of complex
applications by assembling off‐the‐shelf components. However, components depend on …

The process and results of using formal methods to specify the Lights Out Ground
Operations System (LOGOS) are presented. LOGOS is a prototype multi agent system …

GENTLE READER: This is a book about software configuration management, the discipline
to organize and control evolving software systems. In software configuration management …

The GNU automatic software configuration tools, Autoconf, Automake, and Libtool, were
designed to help the portability of software to multiple platforms. Such autotools also help …

We present a system of plug-ins for GCC that allows GCC to load GIMPLE transformations at
run-time. This system reduces the support effort required for GCC by separating …