[PDF] from uni-oldenburg.de
H Schmidt… - Formal methods for open object
GENERATING ADAPTERS FOR CONCURRENT COMPONENT PROTOCOL SYNCHRONISATION
Heinz W. Schmidt School of Computer Science and Software Engineering Monash
University, Melbourne, Australia hws@ csse. monash. edu. au Ralf H. Reussner ...
Cited by 86 - Related articles - All 7 versions
[PDF] from uprm.edu…, H Schmidt - Systems, Man, and Cybernetics, 2000 …, 2000
Time management in workflow processes is crucial in determining and controlling the life cycle
of busi- ness activities. In our model, a temporal interval as an execution duration is assigned
to every workflow task. While the real time taken by the task is non- deterministic and ...
Cited by 68 - Related articles - BL Direct - All 4 versions
H Schmidt - Journal of Systems and Software, 2003
RADL aims at very high-level specification and validation of hierarchical assemblies of distributed
real-time components. Several ideas in RADL are oriented towards modern middleware technologies
such as .NET and EJB and to software-engineering methods such as UML. RADL ...
Cited by 61 - Related articles - All 9 versions
[PDF] from psu.edu…, C Mingins, H Schmidt - Computer, 1998
The software industry stands on feet of clay. However carefully we may strive to build correct
and reliable software, we have no way of guaranteeing the quality of the result. Building correct
and reliable software depends on the quality of so much else, from the hardware and the ...
Cited by 60 - Related articles - BL Direct - All 13 versions
…, I Poernomo, H Schmidt - Component
Abstract. One of the motivations for specifying software architectures explicitly is the better prediction
of system quality attributes. In this chapter we present an approach for determining the reliability
of com- ponent-based software architectures. Our method is based on RADL (Rich ...
Cited by 59 - Related articles - BL Direct - All 7 versions
[PDF] from psu.eduRH Reussner… - … Engineering (in association with 9th IEEE …, 2002
Page 1. Using Parameterised Contracts to Predict Properties of Component Based
Software Architectures Ralf H. Reussner CRC for Enterprise Distributed Systems
Technology Pty Ltd Monash University 900 Dandenong Road ...
Cited by 40 - Related articles - View as HTML - All 8 versions
[PDF] from psu.edu…, A Zaslavsky, K Monostori, H Schmidt - Australian Computer …, 2002
Easy access to the Web has led to increased potential for students cheat- ing on assignments
by plagiarising others' work. By the same token, Web-based tools offer the potential for instructors
to check submitted as- signments for signs of plagiarism. Overlap-detection tools are easy ...
Cited by 35 - Related articles - All 15 versions
HW Schmidt, BJ Krämer, I Poernomo… - Radical Innovations of …, 2004
Page 1. Predictable Component Architectures Using Dependent Finite State Machines
Heinz W. Schmidt 1 , Bernd J. Krämer 2 , Iman Poernomo 3 , and Ralf Reussner 3
1 School of Computer Science and Software Engineering ...
Cited by 30 - Related articles - BL Direct - All 10 versions
HW Schmidt… - in A. Paepcke (ed.): Object
CiteSeerX - Document Details (Isaac Councill, Lee Giles): The Common Lisp Object System
defines a powerful and flexible type system that builds on more than fifteen years of experience
with object-oriented programming. Most current implementations include a comfortable suite ...
Cited by 29 - Related articles - Cached
[PDF] from monash.edu.au…, A Zaslavsky, H Schmidt - Information Resources …, 2000
The Internet provides easy access to large collections of semi-structured digital documents. WWW
browsers, search engines and the "cut & paste" technique are tempting to substitute one's creativity
by simple compilation from appropriate digital resources. This paper discusses the ...
Cited by 27 - Related articles - All 7 versions
[PDF] from tue.nlI Crnkovic, H Schmidt, J Stafford… - Proc. of 5th Workshop on …, 2002
Page 1. Fifth ICSE Workshop on Component-Based Software Engineering White paper
Anatomy of a Research Project in Predictable Assembly Ivica Crnkovic1 Heinz Schmidt2
Judith Stafford3 Kurt Wallnau3 1Mälardalen University ...
Cited by 26 - Related articles - View as HTML - All 6 versions
[PDF] from psu.eduRH Reussner, IH Poernomo… - Proc. 8th Int'l Workshop on …, 2003
Page 1. Contracts and Quality Attributes of Software Components * Ralf H. Reussner
Software Engineering Group, Department of Computing Science University of
Oldenburg, Germany reussner@informatik.uni-oldenburg.de ...
Cited by 23 - Related articles - View as HTML - All 10 versions
[PDF] from buffalo.edu…, A Zaslavsky, H Schmidt - Proceedings of the fifth ACM …, 2000
ABSTRACT In this paper we introduce the MatchDetectReveal(MDR) system, which is capable
of identifying overlapping and plagiarised documents. Each component of the system is briefly
described. The matching-engine component uses a modified suffix tree representation, ...
Cited by 23 - Related articles - All 9 versions
[18] [CITATION] Compatibility of interoperable objects
HW Schmidt - Information Systems Interoperability, 1998
Cited by 20 - Related articles
[PDF] from psu.eduO Bosman… - Technology of Object
... Heinz W. Schmidt Department of Software Development Monash University, Caufield Campus
PO Box 197, Caufield East, 3145 Australia Heinz.Schmidt@fcit.monash.edu.au August 1995
(submitted to TOOLS Paci c '95) (also available as TR95-15, Dept. ...
Cited by 20 - Related articles - View as HTML - All 9 versions
H Schmidt - ICSE Workshop on Component-Based Software Engineering:
Trusted components - towards automated assembly with
predictable properties (2001). Schmidt, Heinz.
http://arrow.monash.edu.au/hdl/1959.1/132021. IEEE Computer Society. ...
Cited by 20 - Related articles - Cached - All 2 versions
[PDF] from psu.eduS Loke, H Schmidt… - Advances in Computing Science— …, 1999
Mobile agents can be regarded as software components which can move from one host to another
to perform computations. Mobile agents have many benefits for distributed computing such as
reducing network load by moving computation to data and asyn- chronous computation ...
Cited by 18 - Related articles - BL Direct - All 9 versions
HW Schmidt… - apsec, 1995
Page 1. Reasoning About Concurrent Objects Heinz W. Schmidt and Jian Chen
Monash University, Melbourne,
Australia ({Heinz.Schmidt,Jian.Chen)@fcit.monash.edu.au) Abstract ...
Cited by 16 - Related articles - All 8 versions
GT Heineman, Ivica. Crnkovic… - 2005
Page 1. Ian Gorton George T. Heineman Ivica Crnkovic Heinz W. Schmidt Judith A. Stafford
Clemens A. Szyperski KurtWallnau(Eds.) Component-B ased Software Engineering 9th
International Symposium, CBSE 2006 Västeräs, Sweden, June 29 - July 1, 2006 Proceedings ...
Cited by 15 - Related articles - View as HTML
…, T Nolte, M Nolin, H Schmidt - Embedded and Real
We present a contract-based technique to achieve reuse of known worst-case execution times
(WCET) in conjunc- tion with reuse of software components. For resource constrained
systems, or systems where high degree of predictability is needed, classical techniques ...
Cited by 15 - Related articles - All 3 versions
[PDF] from psu.eduS Ling, H Schmidt… - Technology of Object
The separation of architecture definition language (ADL) and interface definition language
(IDL) is widely accepted in the distributed system community. It separates issues of hierarchical
composition and configuration from those of services, communication and ...
Cited by 15 - Related articles - All 8 versions
[PDF] from psu.edu…, A Zaslavsky, H Schmidt - Australian Computer Science …, 2002
Suffix trees are versatile data structures that are used for solving many string-matching
problems. One of the main arguments against widespread usage of the structure is its space
requirement. This paper describes a new structure called suffix vector, which is not only ...
Cited by 14 - Related articles - All 22 versions
HW Schmidt, ID Peake, J Xie, I Thomas, BJ Krämer… - 2003
Page 1. Modelling predictable component-based distributed control architectures
Heinz W. Schmidt, Ian D. Peake, Jue Xie, Ian Thomas Monash University, Melbourne,
Australia {hws,ipeake,iant,jxie}@csse.monash.edu.au Bernd ...
Cited by 14 - Related articles - All 7 versions
[PS] from spsu.eduH Schmidt… - Proceedings of the
Ь з д д ж дж з виз згб ж ви ж зйаиз в лгж в джг ж ззИ гв гбдгв ви ди и гвК Я к агд б и г з гж ви
Й н в в гбд и а и з в йигб и знви з з г ди жз л гвижга гбдгв виз д в ви гв и ж дагнб ви гви миК
Ьнд аан зй ди жз ж гвз ж ан зб аа ж и в и гбдгв виз и бз ак зК Ь н агв виг и ж аб г гвв игжзК
Cited by 13 - Related articles - View as HTML - All 5 versions
[33] [CITATION] Trusted components for the software industry
…, C Mingins, H Schmidt - IEEE Computer, 1998
Cited by 13 - Related articles
[PDF] from dnu.dp.uaK Chan, I Poernomo, H Schmidt… - Quality of Software …, 2005
Abstract. It is now recognized that nonfunctional properties are im- portant to practical software
development and maintenance. Many of these properties involve involving time and probabilities
– for example, reliability and availability. One approach to ensuring conformance to ...
Cited by 13 - Related articles - BL Direct - All 9 versions
…, HW Schmidt - Software, IEEE, 1989
Current systems Current generators for language-based editors, such as Mentor,* Aloe? and
the Synthesizer Generator: successfully sup port the development of an integrated set of syntactic
tools. The data structures these tools share and communicate through are usually ...
Cited by 12 - Related articles - All 6 versions
[36] class="gs_ctu">[CITATION] TOF| an efficient type system for objects and functions
HW Schmidt… - 1992
Cited by 12 - Related articles
[PDF] from psu.edu…, C Ryan, K Frampton, H Schmidt - Journal of Software, 2008
Abstract—Service-Oriented Computing (SOC) is an emerging paradigm for developing software
systems that employ services. Presently there is already much research effort in the areas of
service discovery and orchestration, business process modelling, and the semantic web. ...
Cited by 12 - Related articles - View as HTML - All 12 versions
[PDF] from monash.edu.au…, A Zaslavsky, H Schmidt - … Conference on Parallel …, 1999
Abstract. Proliferation of digital libraries plus high availability of electronic documents from the
Internet have created new challenges for computer science researchers and professionals. This
paper discusses the problems of using par- allel and cluster computing systems for ...
Cited by 12 - Related articles - All 3 versions
[PDF] from psu.eduHW Schmidt… - … , Methods and Calculi, San Miniato, Italy, 1994
Page 1. 1 Reasoning about Complexity of Object-Oriented Programs Heinz W. Schmidta
and Wolf Zimmermannb aCSIRO, Dept. of Information Technology Canberra bInstitut f ur
Programmstrukturen und Datenorganisation Universit at Karlsruhe ...
Cited by 11 - Related articles - View as HTML - All 5 versions
MT Huda, HW Schmidt… - e
Page 1. An Agent Oriented Proactive Fault-tolerant Framework for Grid Computing
Mohammad Tanvir Huda Heinz W. Schmidt Ian D. Peake Centre for Distributed Systems
and Software Engineering Monash University, Melbourne ...
Cited by 11 - Related articles - All 3 versions
…, J Jayaputera, H Schmidt - 2005
It is now recognized that nonfunctional properties are important to practical software development
and mainte- nance. Many of these properties involve involving time and probabilities – for
example, reliability and availabil- ity. In this paper, we present a framework for runtime ...
Cited by 11 - Related articles - All 5 versions
[PDF] from psu.eduI Crnkovic, H Schmidt, J Stafford… - ACM SIGSOFT Software …, 2001
Reuse and Interoperability Belkhatir [3] has suggested an adaptation of the observer pattern
structure by Gang of four to support management and prevent to possible deviation of a
team. He showed how we adapt the ob- server pattern to support monitoring of ...
Cited by 11 - Related articles - BL Direct - All 9 versions
[PDF] from psu.edu…, I Poernomo, H Schmidt - SAVCBS 2003 Specification and …, 2003
Timed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures
Jane Jayaputera, Iman Poernomo and Heinz Schmidt {janej, ihp, hws}@ csse. monash. edu.
au CSSE, Monash University, Australia ABSTRACT Architecture-based reasoning about ...
Cited by 10 - Related articles - View as HTML - All 14 versions
[PDF] from monash.edu.au…, A Zaslavsky, H Schmidt - acsc, 2001
This paper analyses the efficiency of different data structures for detecting overlap in digital
documents. Most existing approaches use some hash function to reduce the space requirements
for their indices of chunks. Since a hash function can produce the same value for different ...
Cited by 10 - Related articles - BL Direct - All 10 versions
EP Ivanova, VK Truong, JY Wang, CC Berndt… - Langmuir, 2009 - ACS Publications
Cited by 9 - Related articles - All 9 versions
[PDF] from rmit.edu.auM Perepletchikov, C Ryan, K Frampton… - 2007
Page 1. A Formal Model of Service-Oriented Design Structure Mikhail Perepletchikov,
Caspar Ryan, Keith Frampton, and Heinz W Schmidt RMIT University School of
Computer Science and Informational Technology Melbourne ...
Cited by 9 - Related articles - All 6 versions
[PDF] from mdh.se…, I Poernomo, H Schmidt - 2004
Reliability and availability are key issues to distributed service-oriented systems. In this
paper, we present a methodology for run-time verification of reliability and availability properties
for distributed architectures. Our approach generalizes the concept of design-by-contract ...
Cited by 9 - Related articles - All 7 versions
[PDF] from mdh.se…, M Nolin, J Fredriksson, H Schmidt - ERCIM
Many embedded systems for vehicles and consumer electronics critically depend on
efficient, reliable con- trol software, and practical methods for their production. Component-based
software engineering for embedded sys- tems is currently gaining ground since ...
Cited by 9 - Related articles - View as HTML - All 5 versions
…, R Reussner, H Schmidt - Component Deployment, 2002
Abstract. Software architectural description languages (ADLs) are used to specify a
high-level, compositional view of a software application, defining how a system is to be composed
from coarse-grain components. ADLs usually come equipped with a rigourous state- ...
Cited by 8 - Related articles - BL Direct - All 9 versions
[PDF] from psu.eduH Schmidt, I Poernomo… - Journal of Integrated Design …, 2001
Architecture description languages (ADLs) are used to specify high-level, compositional views
of a software application. ADL research focuses on software composed of prefabricated
parts, so-called software components. ADLs usually come equipped with rigorous state- ...
Cited by 8 - Related articles - All 10 versions
…, HW Schmidt - ESEC'87, 1987
Abstract ASDL is a formalism to specify syntax-directed programming environments. The language
is the heart of a language-independent kernel system, which is based on an environment database
and offers a uniform user interface. ASDL is designed to ease the extension of the kernel ...
Cited by 7 - Related articles - All 3 versions
NL Hashim, HW Schmidt… - 2005
Page 1. Test Order for Class-based Integration Testing of Java Applications Nor Laily
Hashim, Heinz W. Schmidt, Sita Ramakrishnan Centre for Distributed Systems and
Software Engineering Monash University 900 Dandenong ...
Cited by 7 - Related articles - All 3 versions
…, B Kraemer, R Schaede, HW Schmidt - 1986
... Title: ASDL - a specification language for syntax-directed environments. Authors:
Christ-Neumann, ML Kraemer, B. Schaede, R. Schmidt, HW Gesellschaft fuer
Mathematik und Datenverarbeitung mbH Bonn (GMD), St. Augustin ...
Cited by 7 - Related articles - Cached
[PDF] from psu.edu…, S Ramakrishnan, H Schmidt - Informatica, 1995
True improvements in large computer systems always come through their engineering
devices. In AI, one of the fundamental di erences from conventional computer science (such
as software engineering and database technology) is its own established program- ming ...
Cited by 7 - Related articles - View as HTML - All 5 versions
[PDF] from psu.edu…, X Wu, H Schmidt - International Journal on Artificial …, 1997
Abstract Disorientation and cognitive overhead are two interrelated problems that may in fact
ultimately limit the usefulness of hypertext. Cognitive overhead upon the author arises from a
viewpoint that sees the author as the person solely responsible for inserting all links ...
Cited by 7 - Related articles - View as HTML - BL Direct - All 7 versions
…, HW Schmidt - Proceedings of the 1988 ACM SIGSMALL/ …, 1988
ASDL is a metalanguage for specifying integrated programming environments as specializations
and extensions of a language in- dependent environment kernel. The language combines
syntax- directed translation schemes with an object-oriented type sys- tem. The type ...
Cited by 6 - Related articles - All 4 versions
HW Schmidt… - Web Information Systems …, 2000
Page 1. Shared XML Documents in Service Centers of the Future Heinz W. Schmidt
Monash University Computer Science and Software Engineering East Caulfield,
Vic 3145, Australia hw s (3 ds tc . mon ash. edu . au Abstract ...
Cited by 6 - Related articles - All 3 versions
MS Haghjoo, MP Papazoglou… - … Information Systems, 1993 …
Page 1. A Semantic-based Nested Transaction Model for Intelligent and Cooperative Information
Systems Mostafa S Haghjoo*, Mike P Papazoglous, and Heinz W Schmidt* *Australian National
University Department of Computer Science Canberra ACT 0200 Australia ...
Cited by 6 - Related articles - All 2 versions
B Krämer… - Proceedings of the 1988 ACM SIGSMALL/ …, 1988
Page 1. Abstract Object-Oriented DeveIopment of Integrated Programming Environments with
ASDL Bernd Kramer and Heinz-Wilhelm Schmidt Institut fur Systemtechnik, GMD, (German
National Research Center for Computer Science), Postf. 1240, 5205 St. ...
Cited by 6 - Related articles - All 4 versions
[PDF] from kcl.ac.uk…, I Poernomo, H Schmidt - Computer and Information Sciences
Abstract. Architectural description languages (ADLs) are used to spec- ify a high-level, compositional
view of a software application, specifying how a system is to be composed from coarse-grain
components. ADLs usually come equipped with a formal dynamic semantics, facilitating ...
Cited by 6 - Related articles - BL Direct - All 4 versions
…, I Poernomo, H Schmidt - Computational Science—ICCS …, 2002
Abstract. The deployment of component oriented software approaches gains increasing importance
in the computational sciences. Not only the promised increase of reuse makes components
attractive, but also the possibilities of integrating different stand-alone programs into a dis- ...
Cited by 5 - Related articles - BL Direct - All 6 versions
[PDF] from psu.eduI Crnkovic, H Schmidt, J Stafford… - ACM SIGSOFT Software …, 2004
Abstract This report gives an overview of the 6th ICSE Workshop on Component-Based Software
Engineering held at 25th International Conference on Software Engineering. The workshop brought
together researchers and practitioners from three communities: component technology, ...
Cited by 5 - Related articles - All 5 versions
[PDF] from psu.edu…, C Mingins, H Schmidt - Proceedings of TOOLS'94, 1994
Grammar-based processor generation is one of the most widely studied areas in language
pro- cessor construction (Donzeau-Gouge 1984; Aho, Sethi, and Ullman 1986; Kramer and Schmidt
1989; Grosch and Emmelmann 1990). However, there have been very few approaches to ...
Cited by 5 - Related articles - View as HTML - All 7 versions
S Entwisle, H Schmidt, I Peake… - … , 2006. EDOC'06. 10th …, 2006
Programming languages provide exception handling mechanisms to structure fault tolerant activities
into software systems. However, the use of exceptions at this low level of abstraction can be
error-prone and complex leading to new programming errors. In this paper, we present a ...
Cited by 4 - Related articles - All 5 versions
[PDF] from monash.edu.au…, A Zaslavsky, H Schmidt - … Paradigms for HPC in Industry and …, 2001
T. Sørevik et al. (Eds.): PARA 2000, LNCS 1947, pp. 206-214, 2001. © Springer-Verlag Berlin
Heidelberg 2001 ... Parallel and Distributed Document Overlap Detection on the Web ... Krisztián
Monostori, Arkady Zaslavsky, and Heinz Schmidt ... School of Computer Science and ...
Cited by 4 - Related articles - BL Direct - All 9 versions
I Crnkovic, H Schmidt, J Stafford… - In Proceedings of the 23rd …, 2003
... by Ivica Crnkovic , Heinz Schmidt , Judith Stafford , Kurt Wallnau. In Proceedings of the 23rd
International Conference on Software Engeneering (ICSE-01. Add To MetaCart. ...
Cited by 4 - Related articles - Cached
P Lamb, F Horowitz… - 1996
CiteSeerX - Document Details (Isaac Councill, Lee Giles): A revised version of an object-oriented
data model for geoscienti#c information is presented. The design currently encompasses classes
describing: the geometrical and topological needs of 3D geoscienti#c entities; an audit ...
Cited by 3 - Related articles - Cached - All 2 versions
[PDF] from ifaamas.org…, I Thomas, S Thompson, H Schmidt - Proceedings of The …, 2009
... monash.edu.au Ian Thomas Monash University Melbourne, Australia ian.thomas@med.monash.
edu.au Heinz Schmidt RMIT University Melbourne, Australia heinz.schmidt@rmit.edu.au Michael
Georgeff Monash University Melbourne, Australia michael.georgeff@med. ...
Cited by 3 - Related articles - All 3 versions
I Poernomo, H Schmidt… - International Journal of …, 2006
Understanding nonfunctional aspects of system behavior is an essential component of practical
software development and maintenance. Many nonfunctional system properties, such as reliability
and availability, involve time and probabilities. In this paper, we present a framework for ...
Cited by 3 - Related articles - BL Direct - All 7 versions
[CITATION] 6th ICSE workshop on CBSE: automated reasoning and prediction
I Crnkovic, H Schmidt, J Stafford… - ACM SIGSOFT Software Engineering …, 2004
Cited by 3 - Related articles
[PDF] from psu.edu…, A Zaslavsky, H Schmidt - Proceedings of the Workshop on …, 2000
Abstract. Proliferation of digital libraries plus availability of electronic documents from the Internet
have created new challenges for computer science researchers and professionals. Documents
are easily copied and redistributed or used to create plagiarised assignments and ...
Cited by 3 - Related articles - View as HTML - All 5 versions
[PDF] from psu.eduA Goel, H Schmidt… - Enterprise Distributed Object …, 2009
Abstract—Enterprise Architecture deals with the structure of an enterprise, relationships and
interactions of its units. It provides a holistic approach to reconcile IT and Business concerns
in an enterprise. Virtual Enterprises are collaborative ad-hoc alliances of multiple ...
Cited by 3 - Related articles - All 5 versions
[PDF] from mdh.seI Crnkovic, R Reussner, H Schmidt… - ACM SIGSOFT …, 2005
Abstract The International Symposium on Component-Based Software Engineering (CBSE7)
was held at 28th International Conference on Software Engineering in Edinburgh, Scotland,
May 24-25, 2004. The Symposium brought together researchers and practitioners from ...
Cited by 3 - Related articles - All 2 versions
NL Hashim, S Ramakrishnan… - qsic, 2007
... Heinz W. Schmidt School of Computer Science and Information Technology RMIT University,
Australia Email: Heinz.Schmidt@rmit.edu.au Abstract—This paper introduces a component-based
integra- tion testing method with an architectural test coverage criteria. ...
Cited by 2 - Related articles - All 3 versions
D Karagiannis, F Kurfess… - The Next Generation of …, 1992
Page 1. Knowledge Selection in Large Knowledge Bases Dimitris Karagiannis *
Franz J. Kurfeg Heinz-Wilhelm Schmidt t ICSI - International Computer Science
Institute, Berkeley, CA 94704 Abstract The access to information ...
Cited by 2 - Related articles - All 5 versions
[PDF] from psu.eduS Ling… - aswec, 1996
Page 1. Towards Analysing a Class of Object Petri Nets Sea Ling and Heinz W. Schmidt
Department of Software Development Monash University P 0 Box 197, Caulfield East
3 145, Australia { sling,hws} @sd.monash.edu.au Abstract ...
Cited by 2 - Related articles - All 8 versions
…, H Schmidt - … Engineering: Education & …, 1998
Academics from the Faculties of Computing, En- gineering, Mathematical and Social Sciences
seem to attach different meanings to the term software engi- neering" based on their professional
experiences and biases. This is critical when establishing the content of software ...
Cited by 2 - Related articles - All 3 versions
…, R Reussner, H Schmidt - 2003
Architecture description languages (ADLs) are used to specify and analyze the composition of
a software system. Traditionally, ADLS are used at the specification and de- sign stages of the
software development lifecycle. Recent developments in component-based middleware ...
Cited by 2 - Related articles - All 8 versions
J Kötters, H Schmidt… - Formal Concept Analysis, 2009
Abstract. The article introduces a representation of a formal context by an undirected graph called
a context graph with the formal objects being the nodes of the graph. We use as a defining property
for this graph that it contains every concept extent as a connected subgraph. The graph is ...
Cited by 2 - Related articles - All 5 versions
[PDF] from rmit.edu.auNR May, HW Schmidt… - Software Engineering and …
Page 1. Service Redundancy Strategies in Service-Oriented Architectures Nicholas R.
May, Heinz W. Schmidt, Ian E. Thomas RMIT University, Melbourne, Australia
{Nicholas.May, Heinz.Schmidt, Ian.Edward.Thomas}@rmit.edu.au Abstract ...
Cited by 1 - Related articles - All 4 versions
[PDF] from psu.eduS Ling… - … Software Engineering Conference (IASTED
Page 1. A Notion of Safeness in Time for Petri Nets Sea Ling and Heinz W. Schmidt
Department of Software Development Monash University PO Box 197, Caul eld East
Australia 3145 Email: fsling,hwsg@insect.sd.monash.edu.au ...
Cited by 1 - Related articles - View as HTML - All 4 versions
H Dai, H Schmidt, X Wu… - … Systems, 1997. ICIPS' …, 1997
1997 IEEE International Conference on Intelligent Processing Systems October 28-31,
Beijing, China Intelligent Inference Within Objects Using Constraint Rules Honghua Dai, Heinz
Schmidt, Xindong Wu and Sita Ramakrishnan Department of Software Development, ...
Cited by 1 - Related articles
H Schmidt - SOFSEM 2007: Theory and Practice of Computer …, 2007
Abstract. Scalable models of extra-functional properties such as relia- bility, availability and timeliness
are still presenting great challenges to researchers and practitioners in component-based software
architecture. In our research centre at Monash in collaboration with industrial part- ners ...
Cited by 1 - Related articles - BL Direct - All 4 versions
[CITATION] Creating and managing documents with LifeWeb
…, H Schmidt - 5th Australian World Wide Web Conference (AusWeb
Cited by 1 - Related articles
[PDF] from mdh.seJ Fredriksson, T Nolte, M Nolin… - … the 27th IEEE Real-Time …, 2006 - mrtc.mdh.se
Embedded systems for vehicle control critically depend on efficient and reliable control
software, together with practical methods for their production. Component-based software engineering
for embedded systems is currently gaining ground since variability, reusability, and ...
Cited by 1 - Related articles - View as HTML
I Crnkovic, H Schmidt, J Stafford, K Wallnau - Proceedings of the 25th International Conference
on Software Engineering, 2003
... Ivica Crnkovic, M~ilardalen University Sweden ivica.crnkovic @ mdh.se, Heinz Schmidt Monash
University Australia hws@monash.edu.au ... 775 Page 2. Workshop Organizers: Ivica Crnkovic,
M~ilardalen University, Sweden Heinz Schmidt, Monash University, Australia ...
Cited by 1 - Related articles - BL Direct - All 5 versions
[PDF] from rmit.edu.auA Aryani, ID Peake, M Hamilton, H Schmidt, M Winikoff - Software Engineering Conference,
2009. ASWEC'09. Australian, 2009
We propose a novel methodology for analysing change propagation in software using the
domain-level behavioural model of a system. We hypothesize that change propagation analysis
is feasible based purely on the information visible and understandable to domain experts, ...
Cited by 1 - Related articles - All 6 versions
S Ramakrishnan, H Schmidt
- OOIS 2000: 6th International Conference on Object Oriented
Information Systems, 18-20 December 2000, London, UK: Proceedings, 2001
Model Engineering for Distributed OO Component Testing Sita Ramakrishnan, Heinz Schmidt
School of Computer Science and Software Engineering Monash University, Melbourne, Victoria
3145, Australia email:{si. tar, husjtcsse. monash. edu. au Abstract A model engineering ...
Cited by 1 - Related articles - All 5 versions
[PDF] from psu.eduI Crnkovic, H Schmidt, J Stafford, K Wallnau - Proceedings of the 24th International Conference
on Software Engineering, 2002
~School of Computer Engineerir{g eSoflware Engineering Institute Monash University Carnegie
Mellon University Victoria Pittsburgh, PA 15213 Australia United States + 61 3 9903-2332 + 1
412-268- { 5051,3265 } Heinz.Schmidt @ csse.monash.edu.au {jasl,kcw} @sei.cmu.edu
Cited by 1 - Related articles - BL Direct - All 11 versions
[PDF] from psu.eduA Möller, M Nolin, I Peake… - Session of the 17 th Euromicro …
Page 1. Probabilistic Analysis and Predictions of Component-Based Real-Time
Systems Anders Möller‡* Mikael Nolin‡* Ian Peake† Heinz W. Schmidt† ‡MRTC,
Mälardalen University, Västerås, Sweden †Monash University ...
Related articles - View as HTML - All 8 versions
[CITATION]
Formal Approaches to Model-Driven QoS-Handling-A
Model-Oriented Framework for
Runtime Monitoring of Nonfunctional
Properties
K Chan, I Poernomo, H Schmidt, J Jayaputera - Lecture Notes in Computer Science, 2005
C Guttmann, K Wickramasinghe, IE Thomas, M Georgeff, H Schmidt - 2010 IEEE/WIC/ACM
International Conference on Web Intelligence and Intelligent Agent Technology, 2010
Christian Guttmann ETISALAT BT Innovation Centre (EBTIC) School of Primary Health Care
Khalifa Uni. of Science, Technology & Research Monash University PO Box 127788, Abu
Dhabi, UAE Melbourne, Australia christian.guttmann@gmail.com
Related articles - All 4 versions
II Yusuf, HW Schmidt, ID Peake
- Proceedings of the the 7th joint meeting of the European software
engineering conference and the ACM SIGSOFT symposium on The foundations
of software engineering, 2009
... Grid Reliability Iman I. Yusuf Heinz W. Schmidt Ian D. Peake {Iman.Yusuf, Heinz.Schmidt
and Ian.Peake}@rmit.edu.au School of Computer Science and IT, RMIT University Melbourne,
Australia ABSTRACT Failure in grids is costly and inevitable. ...
Related articles
R Reussner, HW Schmidt, W Hasselbring, H Poernomo - 2004
Cached
NL Hashim, HW Schmidt… - Computing & Informatics, …
Page 1. Interface Faults Injection for Component-based Integration Testing Nor Laily
Hashim, Heinz W.Schmidt, Sita Ramakrishnan Centre for Distributed Systems and
Software Engineering Monash University 900 Dandenong ...
Related articles - All 2 versions
KM Goeschka, R Smeikal, HW Schmidt - 2005
... Karl M. Goeschka, R. Smeikal Vienna University of Technology A-1040 Vienna, Austria
{goeschka|smeikal}@acm.org Heinz W. Schmidt Monash University VIC 3800, Australia
Heinz.Schmidt@infotech.monash.edu.au Distributed ...
All 3 versions
HW Schmidt, HJ Kreowski - 1983
Cached
X Wu, S Ramakrishnan, H Schmidt, H Dai - Mind versus computer: were Dreyfus and Winograd right?, 1997
Mind Versus Computer 111 M. Gams et al.(Eds.) IOS Press, 1997 Intelligent Objects: An Integration
of Knowledge, Inference and Objects Xindong Wu, Sita Ramakrishnan, Heinz Schmidt, Honghua
Dai Department of Software Development, Monash University 900 Dandenong Road, ...
Related articles - All 2 versions
[CITATION] INTELLIGENCE AND SOFT COMPUTING, held July 27-31, 1997, Banff, Canada
H Dai, H Schmidt
- Proceedings of the IASTED International Conference, Artificial
Intelligence and Soft Computing, July 27 to August 1, 1997, Banff,
Canada, 1997
Related articles
[CITATION] Component-Based Software Engineering (vol.# 3489): 8th International Symposium,
CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
I Crnkovic, G Heineman, HW Schmidt, JA Stafford, C Szyperski, K Wallnau, SpringerLink
(Service en ligne) - 2005
[CITATION]
Component-based software engineering [electronic resource]: 10th
international
symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007; …
HW Schmidt, SpringerLink (Online service) - 2007
H Schmidt, I Poernomo, R Reussner - 2007
Architecture description languages (ADLs) are used to specify high-level, compositional views
of a software application. ADL research focuses on software composed of prefabricated
parts, so-called software components. ADLs usually come equipped with rigorous state- ...
Cached
H Schmidt
- ACM International Conference Proceeding Series; Vol. 145:
Proceedings of the conference on Application and theory of petri nets:
formal methods in software engineering and defence systems- Volume 12:
Adelaide, Australia, 2002
One of the motivations for specifying software architectures explicitly is the use of high level structural
design information for improved control and prediction of software system quality attributes. Over
the last few years we have been developing Architecture Definition Language elements ...
Related articles - Cached - All 5 versions
[CITATION] Goal-Directed Approach for Process Specification and Service Selection in Customer
Life Cycle Management
K Wickramasinghe, M Georgeff, H Schmidt… - Agent
Related articles - All 2 versions
HG SCHMIDT - 2007
Component-Based Software Engineering (Paperback): 10th International Symposium, CBSE 2007,
Medford, MA, USA, July 9-11, 2007, Proceedings Book. (Series: Lecture Notes in Computer Science /
Programming and Software Engineering). SCHMIDT Heinz G.
Cached - All 2 versions
M Postema, H Schmidt, X Wu - 2007
A large percentage of white box reuse can occur within software systems. Once these reused
components are located, they can be restructured to black box components. In structured
systems, the black box components would be redefined as a new module, and in object- ...
Cached - All 2 versions
[PDF] from psu.eduAJ Quigley, M Postema, H Schmidt - Software Engineering Conference, 2000. Proceedings.
2000 Australian, 2000
This paper presents the framework of a scale-oriented scheme for the presentation and classification
of reverse engineered sections of procedural code into objects. The aim is to develop an extensible
system framework, which allows the output from a suite of data analysis tools to be ...
Related articles - All 13 versions
I Peake, H Schmidt - SOFSEM 2007: Theory and Practice of Computer Science, 2007
Abstract. Delivering and maintaining dependable component-based systems within budget is
a significant practical challenge. Best practice even in large organisations is only just starting
to move beyond simple testing for verification of performance and reliability. The eCAP(- ...
Related articles - BL Direct - All 3 versions
[PDF] from psu.eduJ Happe, W Ch, JPDR Reussner, HW Schmidt, W Hasselbring - 2004
Page 1. DEPARTMENT OF COMPUTING SCIENCE FACULTY OF INFORMATION TECHNOLOGY
Software Engineering Group School of Computer Science and Software Engineering Master
Thesis Predicting the Reliability of Component-Based Software Architectures ...
Related articles - View as HTML - All 7 versions
[PDF] from monash.edu…, A Zaslavsky, H Schmidt - csse.monash.edu
Digital libraries provide vast amounts of digitised information on-line. Preventing these documents
from unauthorised copying and redistribution is a hard and challenging task, which often results
in not putting valuable documents on-line [Garcia-Molina et al., 1995a]. Copy- prevention ...
Related articles - All 3 versions
AJ Quigley, M Postema, H Schmidt - 2007
This paper presents the framework of a scale-oriented scheme for the presentation and classification
of reverse engineered sections of procedural code into objects. The aim is to develop an extensible
system framework, which allows the output from a suite of data analysis tools to be ...
Cached
[PDF] from pacis-net.orgA Goel, H Schmidt, D Gilbert - 2010
... Amit Goel RMIT University, amit@agoel.com Heinz Schmidt RMIT University, heinz.schmidt@
rmit.edu.au David Gilbert RMIT University, david.gilbert@rmit.edu.au ... Heinz Schmidt, School of
CSIT, RMIT University, Melbourne, Australia, heinz.schmidt@rmit.edu.au ...
Related articles - All 2 versions
[PDF] from psu.eduM Postema, HW Schmidt - 1997
Page 1. 1 Object Discovery from Design Abstraction of Legacy Systems Margot Postema, and
Heinz. W. Schmidt Department of Software Development Monash University 900 Dandenong
Road Caul eld East, VIC 3145, Australia Email: fmargot, hwsg@insect.sd.monash.edu.au ...
Related articles - View as HTML - All 7 versions
[CITATION] Object Technology
…, C Mingins, H Schmidt - Computer
All 2 versions
…, R van Ommering, A Romanovsky, H Schmidt… - computer.org
Franck Barbier, University of Pau, France Yolande Berbers, KULeuven, Belgium Ljerka
Beus-Dukic, University of Westminster, UK Marcello Bonsangue, Leiden University, NL Premsyl
Brada, University West Bohemia, Pilsen, Czech Republic Gerhard Chroust, University of ...
View as HTML - All 2 versions
RA Finkel, A Zaslavsky, K Monostori, H Schmidt - 2007
Easy access to the Web has led to increased potential for students cheating on assignments
by plagiarising others ' work. By the same token, Web-based tools offer the potential for instructors
to check submitted assignments for signs of plagiarism. Overlap-detection tools are easy ...
Cached
[PDF] from psu.eduS Ling… - Citeseer
Page 1. Using a Notion of Safety in Petri Nets To Analyse Real-Time Systems Sea Ling and
Heinz W. Schmidt Department of Software Development Monash University PO Box 197,
Caulfield East Australia 3145 Tel +61 3 99032787 Fax +61 3 99031077 ...
Related articles - View as HTML - All 3 versions
P Iman, H Schmidt - 2003
Cached
K Cai, X Wu, H Schmidt - Tools with Artificial Intelligence, 1997. Proceedings., Ninth IEEE
International Conference on, 1997
Knowledge objects are an integration of the object- oriented paradigm with logic rules. The class
and in- heritance features of object-oriented paradigm assist users to describe and define entities
more naturally and to emphasize the semantic rather than the syntac- tic content of ...
All 5 versions
[CITATION]
Dependable Software and Systems-Parameterised Extra-Functional
Prediction
of Component-Based Control Systems--Industrial Experience
ID Peake, HW Schmidt - Lecture Notes in Computer Science, 2007
[CITATION] An Architectural Description Language for Enterprise Computing
I Poernomo, H Schmidt - 2001
Related articles
K Monostori, A Zaslavsky, H Schmidt - Proceedings of the Australasian conference on Computing education, 2000
The :,,...lend,ration of a studio-based approach to teachins in the Bachelor of Information Management
and Systen~ (BIMS) at Mouash University has instituted a new teaching model in which the traditional
lecture theatre and tutorial room/laboratory environment is replaced by a model based on ...
All 2 versions
HW Schmidt, I Crnkovic, GT Heineman, JA Stafford - 2007
Google, Inc. (search). ...
HW Schmidt… - ieeexplore.ieee.org
Page 1. Foreword ASWEC celebrates the tenth anniversary of its inauguration in
1986 with a number of exciting innovations that maintain its place as the leading forum
for the exchange of ideas in software engineering research ...
X Wu, H Schmidt… - Department of Software Development …
1.6 Integration of Rules and Objects for Visibility Xindong Wu, Heinz Schmidt and Sita Ramakrishnan
Project Level: Honours/Masters/PhD Among the essential di culties in building large software
systems, invisibility has been identi ed as an inherent property. After careful analysis of ...
View as HTML
[PDF] from mdh.seA Möller, M Nolin, I Peake… - mrtc.mdh.se
Page 1. Monitoring and Stochastic Analysis of Component-Based Control-Systems Anders Möller‡
* Mikael Nolin‡ * Ian Peake† Heinz W. Schmidt† ‡MRTC, Mälardalen University, Västerås,
Sweden †Monash Univeristy, Melbourne, Australia *CC Systems, Uppsala, Sweden ...
Related articles - View as HTML
[PDF] from mdh.seI Peake, A M{\\"o}ller, H Schmidt - 2005
Page 1. Modelling and Verification of Dependable Component-Based Vehicular
Control-System Architectures Ian Peake1 Anders Möller2,3 Heinz Schmidt1 1Monash
University, Melbourne, Australia 2MRTC, Mälardalen University ...
Related articles - View as HTML
…, HW Schmidt - Computer Software and Applications …, 2002
... Journal of Sysiems and Soflware, 1990. To appear. (171 B. K rkr and H.-W. Schmidt.
Object-oriented development of integrated programming environments with ASDL. IEEE Soft-
ware, lanuary 1989. [la] B. Meyer. On formalism in specifications. IEEE Software, 2(1):6- 26, 1985. ...
All 3 versions
[CITATION] Component-Based Software Engineering of Trustworthy Embedded Systems
I Crnkovi{\'c}, H Schmidt, J Stafford, G Heineman, K Wallnau - Journal of Systems and Software, 2007
GT Heineman, I Crnkovic, HW Schmidt, JA Stafford, C Szyperski, K Wallnau - Lecture
notes in computer science, 2005
RefDoc Bienvenue - Welcome. Refdoc est un service / is powered by. ...
I CRNKOVIC, JA STAFFORD, HW SCHMIDT, K WALLNAU - 2004
Component-Based Software Engineering (Paperback): 7th International Symposium, CBSE 2004,
Edinburgh, UK, May 24-25, 2004, Proceedings Book. (Series: Lecture Notes in Computer Science).
CRNKOVIC Ivica, STAFFORD Judith A., SCHMIDT Heinz W., WALLNAU Kurt.
Cached - All 2 versions
…, T Nolte, M Sjödin, H Schmidt - … of the 9th Real
We present a contract-based technique to achieve reuse of known worst-case execution times
(WCET) in conjunction with reuse of software components. For resource constrained
systems, or systems where high degree of predictability is needed, classical techniques ...
Cached
I Crnkovic, JA Stafford, HW Schmidt… - Lecture notes in computer …
RefDoc Bienvenue - Welcome. Refdoc est un service / is powered by. ...
[CITATION] Component-Based Software Engineering, 10th International Symposium, CBSE 2007
H Schmidt, I Crnkovic, G Heineman… - LNCS Series
K Monostori, A Zaslavsky, H Schmidt - 2007
Suffix trees are versatile data structures that are used for solving many string-matching
problems. One of the main arguments against widespread usage of the structure is its space
requirement. This paper describes a new structure called suffix vector, which is not only ...
Cached