ケビン・ラノ

ケビン・C・ラノ（1963年生まれ）はイギリスのコンピュータ科学者です。

ケビン・ラノはレディング大学で数学とコンピュータサイエンスの学位を取得し、その後ブリストル大学で博士号を取得しました。^[2]彼は形式的オブジェクト指向技術 ( Z++ ) の創始者であり、 UMLと形式手法の組み合わせを開発しました^[3]多数の論文と書籍で。彼はPrecise UMLグループの創設者の 1 人で、 UML 2.0の定義に影響を与えました。^[要出典] ラノは2005 年にAdvanced Systems Design with Java, UML and MDA ( Butterworth-Heinemann、ISBN  0-7506-6496-7 ) を出版しました。彼はまた、 2009 年 10 月にWileyから出版されたUML 2 Semantics and Applications など、多数のコンピュータサイエンスの書籍の編集者でもあります。^[4]

ラノはかつてオックスフォード大学コンピューティング研究所（現オックスフォード大学コンピュータサイエンス学部）の研究員だった。現在はキングス・カレッジ・ロンドンの情報学部の講師も務めている。^[2]

2008年、ラノと共著者のアンディ・エバンス、ロバート・フランス、バーナード・ルンペは、1998年の論文「正式なモデリング表記法としてのUML 」により、モデル駆動型エンジニアリング言語とシステムに関するMODELS 2008カンファレンスで10年間で最も影響力のある論文賞を受賞した。^[1]

• Lano, K. (1991)。「Z++、Z のオブジェクト指向拡張」。Nicholls, John (編)。Zユーザー ワークショップ、オックスフォード 1990。コンピューティングのワークショップ。Springer。pp . 151–172。
• Evans, A.; France, R .; Lano, K.; Rumpe, B. (1998)。「UML は形式的なモデリング表記法である」。統一モデリング言語。「UML」'98: 表記法を超えて。コンピュータサイエンスの講義ノート。第 1618 巻。Springer -Verlag。pp . 336–348。arXiv : 1409.6919。doi : 10.1007 /978-3-540-48480-6_26。ISBN 978-3-540-66252-5. S2CID  32729。

• リバースエンジニアリングとソフトウェアメンテナンス（McGraw-Hill、1993年）
• オブジェクト指向仕様のケーススタディ（プレンティスホール、1993年）
• 形式的オブジェクト指向開発( Springer、1995)
• B言語とメソッド：実践的な形式開発ガイド（Springer、1996年）
• Java 2 によるソフトウェア設計( Palgrave、2002)
• UML 2 セマンティクスとアプリケーション( Wiley、 2009 )、編集者
• UML と Java を使用したモデル駆動開発( Cengage、2009)
• UML-RSDS を使用したアジャイル MBD ( Taylor & Francis、2016)
• 金融ソフトウェアエンジニアリング（Springer、2019年）、ハワード・ホートンとの共著

• ケビン・ラノのホームページ
• DBLP書誌サーバーの Kevin Lano