Design patterns in event-B and their tool support

Metadata Label Value
Author(s): Fürst, Andreas
Publisher: ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Information Security, Information Security Group
Citation:

Fürst, Andreas. Design patterns in event-B and their tool support. ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Information Security, Information Security Group (2009). http://dx.doi.org/10.3929/ethz-a-005779068

Document Type: Master and Bachelor Theses  
Documents: Text (1.11MB)
Import to Mendeley

Detailed Information

Metadata Description
Title Design patterns in event-B and their tool support
Author(s) Fürst, Andreas
Publication Place Zürich
Publisher ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Information Security, Information Security Group
Publication Date 2009
Notes Master Thesis, ETH Zurich, 2009
Language English
DOI http://dx.doi.org/10.3929/ethz-a-005779068
Subject(s) Software
Keyword(s) SOFTWARE REUSABILITY
SOFTWARE REUSE
COMPONENT-BASED SOFTWARE DESIGN
Organisational Unit Department of Computer Science
Online Publication Date 2009
Description File Name MIME Type Size
Text   eth-41612-01.pdf application/pdf 1.11MB
Abstract Views and Downloads
Views 226  abstracts
Downloads 245  downloads

Abstract Views and Downloads by Country
Views 48  abstracts
Downloads 65  downloads
Switzerland Views 48  abstracts
Downloads 28  downloads
France Views 16  abstracts
Downloads 22  downloads
United Kingdom Views 19  abstracts
Downloads 17  downloads
China Views 15  abstracts
Downloads 12  downloads
Japan Views abstracts
Downloads 12  downloads
Germany Views abstracts
Downloads 10  downloads
Tunisia Views abstracts
Downloads 10  downloads
United States Views 16  abstracts
Downloads 10  downloads
Brazil Views abstracts
Downloads downloads
Canada Views abstracts
Downloads downloads
Estonia Views abstracts
Downloads downloads
Finland Views abstracts
Downloads downloads
Ireland Views abstracts
Downloads downloads
Austria Views abstracts
Downloads downloads
Netherlands Views abstracts
Downloads downloads
Romania Views abstracts
Downloads downloads
Australia Views abstracts
Downloads downloads
Singapore Views abstracts
Downloads downloads
Algeria Views abstracts
Downloads downloads
Belgium Views abstracts
Downloads downloads
Colombia Views abstracts
Downloads downloads
Croatia Views abstracts
Downloads downloads
Denmark Views abstracts
Downloads downloads
Egypt Views abstracts
Downloads downloads
Greece Views abstracts
Downloads downloads
Indonesia Views abstracts
Downloads downloads
Iran, Islamic Republic of Views abstracts
Downloads downloads
Jordan Views abstracts
Downloads downloads
Malaysia Views abstracts
Downloads downloads
Morocco Views abstracts
Downloads downloads
New Zealand Views abstracts
Downloads downloads
Portugal Views abstracts
Downloads downloads
Russian Federation Views abstracts
Downloads downloads
Saudi Arabia Views abstracts
Downloads downloads
Slovakia Views abstracts
Downloads downloads
Sweden Views abstracts
Downloads downloads
Thailand Views abstracts
Downloads downloads
Ukraine Views abstracts
Downloads downloads
Vietnam Views abstracts
Downloads downloads
Turkey Views abstracts
Downloads downloads
India Views abstracts
Downloads downloads
Israel Views abstracts
Downloads downloads
Mexico Views abstracts
Downloads downloads
Poland Views abstracts
Downloads downloads


E-Collection record created: Wed, 08 Apr 2009, 14:22:03 CET