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

Evaluating the Usefulness and Ease of Use of a Groupware Tool for the Software Architecture Evaluation Process

Coordinating Global Software Development Activities: Requisite Variety in Information Systems as a Dependent Variable

Creating an Entrepreneurial Mindset: The case for Information and Communication Technology students