scispace - formally typeset
C

Christine Hofmeister

Researcher at Lehigh University

Publications -  19
Citations -  1497

Christine Hofmeister is an academic researcher from Lehigh University. The author has contributed to research in topics: Component-based software engineering & Software construction. The author has an hindex of 9, co-authored 19 publications receiving 1469 citations. Previous affiliations of Christine Hofmeister include Princeton University.

Papers
More filters
Book

Applied software architecture

TL;DR: Applied Software Architecture gives an overview of software architecture basics and a detailed guide to architecture design tasks, focusing on four fundamental views of architecture--conceptual, module, execution, and code.
Journal ArticleDOI

A general model of software architecture design derived from five industrial approaches

TL;DR: The five industrial software architecture design methods are compared and it is found that the five approaches have a lot in common and match more or less the ''ideal'' pattern that can be used for further method comparisons.
Proceedings ArticleDOI

Software architecture in industrial applications

TL;DR: A survey of a variety of software systems used in industrial applications found that software architecture is concerned with capturing the structures of a system and the relationships among the elements both within and between structures.
Proceedings ArticleDOI

Generalizing a Model of Software Architecture Design from Five Industrial Approaches

TL;DR: The five industrial software architecture design methods are compared and it is found that the 5 approaches have a lot in common and match more or less the "ideal" pattern.
Proceedings ArticleDOI

Modeling and verification of adaptive navigation in web applications

TL;DR: This paper presents an approach that uses Statecharts to formally model adaptive navigation, and shows how important properties of a navigation model are verified using existing model-checking tools, and summarizes the kinds of properties that can be checked with such a model.