DOI:​10.1007/978-3-540-71209-1_40
Corpus ID: 8866451
The Heterogeneous Tool Set (Hets)
T. Mossakowski, Christian Maeder, K. Lüttich
Published in VERIFY 2007
Computer Science
Heterogeneous specification becomes more and more important because complex systems are often specified using multiple viewpoints, involving multiple formalisms (see Fig. 1). Moreover, a formal… Expand
View Via Publisher
Link.Springer.Com
Share This Paper




158 Citations
Highly Influential Citations
7
Background Citations
21
Methods Citations
42
Figures and Topics from this paper
Figure 2
Figure 3
Software development process
Complex systems
Formal system
158 Citations
The VSE Refinement Method in Hets
M. Codescu, B. Langenstein, Christian Maeder, T. Mossakowski
Computer Science
ICFEM

2009
2 Citations
PDF
On requirements engineering for reactive systems: a formal methodology
Alexandre Madeira, J. M. Faria, M. Martins, L. Barbosa
Computer Science
2011
Generic Ontology Design Patterns: Roles and Change over Time
B. Krieg-Brückner, T. Mossakowski, M. Codescu
Computer Science
ArXiv

2020
PDF
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -
Alexander Knapp, T. Mossakowski, M. Roggenbach
Computer Science
Software, Services, and Systems
2015
13 Citations
PDF
A Relatively Complete Calculus for Structured Heterogeneous Specifications
T. Mossakowski, A. Tarlecki
Computer Science
FoSSaCS

2014
6 Citations
PDF
Designing Domain Specific Languages for Verification: First Steps
Phillip James, M. Roggenbach
Computer Science
ATE

2011
10 Citations
PDF
Generic Ontology Design Patterns at Work
B. Krieg-Brückner, T. Mossakowski, F. Neuhaus
Computer Science
JOWO

2019
7 Citations
PDF
Paradigm integration in a specification course
M. Martins, Alexandre Madeira, L. Barbosa, Renato Neves
Computer Science
Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014)
2014
PDF
Introducing H, an institution-based formal specification and verification language
Ruazvan Diaconescu
Mathematics, Computer Science
Logica Universalis
2020
CSP-CASL-Prover: A Generic Tool for Process and Data Refinement
Liam O'Reilly, M. Roggenbach, Y. Isobe
Computer Science
Electron. Notes Theor. Comput. Sci.
2009
10 Citations
PDF
...
1
2
3
4
...
References
SHOWING 1-10 OF 70 REFERENCES
The Heterogeneous Tool Set
T. Mossakowski, Christian Maeder, K. Lüttich, S. Wölfl
2007
140 Citations
PDF
Foundations of Heterogeneous Specification
T. Mossakowski
Computer Science
WADT

2002
37 Citations
PDF
Verification Support Environment
W. Stephan, B. Langenstein, Andreas Nonnengart, G. Rock
Computer Science
Mechanizing Mathematical Reasoning
2005
8 Citations
The MathServe System for Semantic Web Reasoning Services
J. Zimmer, S. Autexier
Computer Science
IJCAR

2006
25 Citations
PDF
Heterogeneous Specification and the Heterogeneous Tool Set
T. Mossakowski
Computer Science
2004
86 Citations
PDF
Essential concepts of algebraic specification and program development
D. Sannella, A. Tarlecki
Mathematics, Computer Science
Formal Aspects of Computing
2005
72 Citations
PDF
Structured CSP - A Process Algebra as an Institution
T. Mossakowski, M. Roggenbach
Computer Science
WADT

2006
33 Citations
PDF
Editor
S. Griffis
2003
S PASS Version 2.0
Christoph Weidenbach, Uwe Brahm, T. Hillenbrand, Enno Keen, C. Theobalt, Dalibor Topic
Computer Science
CADE

2002
56 Citations
The PROSPER toolkit
L. Dennis, G. Collins, Michael Norrish, R. Boulton, Konrad Slind, T. Melham
Computer Science
International Journal on Software Tools for Technology Transfer
2003
31 Citations
PDF
...
1
2
3
4
...
SORT BY
Related Papers
{m
Kaushalya Madhawa, T. Murata
Computer Science
ACML

2020
PROGRAMME EDUCATIONAL OBJECTIVES (PEOs): Master programme in Applied Geology aims to provide comprehensive knowledge b...
79,116 Citations
Deep Residual Learning for Image Recognition
Kaiming He, X. Zhang, Shaoqing Ren, Jian Sun
Computer Science
IEEE Conference on Computer Vision and Pattern…
2016
Deeper neural networks are more difficult to train. We present a residual learning framework to ease the training of net...
70,806 Citations
Show More
2/10
Abstract
Figures and Topics
158 Citations
70 References
Related Papers
Stay Connected With Semantic Scholar
What Is Semantic Scholar?
Semantic Scholar is a free, AI-powered research tool for scientific literature, based at the Allen Institute for AI.
Learn More
About
About Us
Publishers
Beta Program
Contact
Research
Team
Datasets
Open Corpus
Supp.ai
Resources
Librarians
Tutorials
FAQ
API
Proudly built by AI2
Terms of ServicePrivacy Policy
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE