scispace - formally typeset
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

Michael Keeling
- 23 Apr 2015 - 
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]

Michael Keeling
- 23 Apr 2015 - 
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

Michael Keeling
- 01 May 2015 - 
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.