M
Michael Keeling
Researcher at IBM
Publications - 11
Citations - 47
Michael Keeling is an academic researcher from IBM. The author has contributed to research in topics: Software architecture & Architecture. The author has an hindex of 4, co-authored 10 publications receiving 43 citations. Previous affiliations of Michael Keeling include Carnegie Mellon University.
Papers
More filters
Journal ArticleDOI
Software Mythbusters Explore Formal Methods
TL;DR: This update re-examines seven common myths about formal methods, reflecting both on the authors' experience with formal methods in practice and on their persistent mythic status.
Journal ArticleDOI
Lightweight and Flexible: Emerging Trends in Software Architecture from the SATURN Conferences
TL;DR: This article summarizes some software architecture trends that emerged during SATURN 2014 and gives a glimpse of the future based on the current SATURN 2015 technical program.
Journal ArticleDOI
Architecture Haiku: A Case Study in Lean Documentation [The Pragmatic Architect]
TL;DR: An architecture haiku aims to capture software system architecture's most important details on a single piece of paper to help development teams focus on the most essential information relevant to the architecture.
Proceedings ArticleDOI
Making Metaphors that Matter
TL;DR: This paper outlines one team's positive experience using system metaphors in the development of a medium-sized, service-oriented, enterprise system and specific guidelines for creating effective metaphors are presented along with concrete examples.
Journal Article
Architecture Haiku: A Case Study in Lean Documentation
TL;DR: An architecture haiku aims to capture software system architecture's most important details on a single piece of paper as mentioned in this paper, which helps development teams focus on the most essential information relevant to the architecture.