Factors Influencing Industrial Practices of Software Architecture Evaluation: An Empirical Investigation

Fine Grained Software Metrics in Practice

A first approach to the closed-form specification and analysis of an autonomic control system

Formally Counting Electronic Votes (But Still Only Trusting Paper)

Disambiguating Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis

Distributed Development for Complex Systems in the Consumer Electronics Semiconductors

Dual unbounded nonteterminacy recursion and fixpoints

Entrepreneurship Education {textendash} A means of Engaging~ and Exchanging~ with the Small Business Sector

ESCAPE Meta Modeling in Software Engineering: When Premature Commitment is Useful in Representations,

ESCAPE Meta Modeling in Software Engineering: When Premature Commitment is Useful in Representations