Searching for authors named Christine Mingins – sorted by Relevance.
-
Building Trust in Third-party Components using Component Wrappers in the .NET Frameworks
- Software purchasers are often provided with very sparse information about how to correctly deploy software components. We describe a novel contract-based approach to building trust in third party components. In contrast to the usual approach where contracts specifying the software semantics are cons
- Cited by 3 (0 self) – Add To MetaCart
-
A Framework for Distributed Component Test Certification Facility Conformity and Compliance Testing
- urance or certification, as they do not test the actual software. In the current era of component-based distributed software systems, the key software testing research that is needed is the integration testing of heterogeneous software systems. A focussed research initiative in software testing whic
- Add To MetaCart
-
we teach software engineering
- Column editor’s note: Anyone who teaches software these days is asking the same question: How, within the constraints of an academic environment and the academic calendar, can we teach students how to deal with real-life, large-scale system development? Christine Mingins and her colleagues at Monash
- Cited by 1 (0 self) – Add To MetaCart
-
Language Processor Construction: The Case for YOOCC and TROOPER
- Enhancing the ISE Eiffel Parse library enabled us to develop YOOCC (Yes! An OO Compiler Compiler) and TROOPER (Truly Reusable OO Parser for Eiffel Re-engineering) written entirely in Eiffel. It is concluded that not only do these tools allow typical users to develop processors 1 without being conc
- Cited by 3 (0 self) – Add To MetaCart
-
Mingins, “A taxonomy of call ordering problems
- The order of method calls in a program can present subtle problems in ensuring the program’s correctness. Some of the problems have been known under different names in the open literature. These include protocols, synchronisation, re-entrance, mandatory calls, and the indirect invariant effect. Howe
- Cited by 1 (1 self) – Add To MetaCart
-
JACOT: A UML-Based Tool for the Run-Time Inspection of Concurrent Java
- Many software systems nowadays rely on concurrency to achieve greater processing power, to improve human-computer interaction and build real-time applications. However, despite their numerous advantages, concurrent programs are difficult to comprehend, debug and maintain. This is mostly due to their
- Cited by 1 (0 self) – Add To MetaCart
-
A Conceptual Model for Visualising Concurrent Java Programs Using UML
- Understanding concurrent object-oriented software execution is not a trivial task. This is mainly due to the interleaving of threads, and multiple flows of control that result in different outputs being produced at successive executions of the program. We believe that visualisation can be of assista
- Cited by 1 (1 self) – Add To MetaCart
-
Planned Software Reuse in Object-Oriented Software Engineering Education
- A major problem associated with the teaching of software development techniques in the context of Software Engineering is the difficulty of realistically simulating large scale industrial-strength project developments in an educational environment. This paper describes our plan for focussing on soft
- Add To MetaCart
-
Yes! An Object-Oriented Compiler Compiler (YOOCC)
- Grammar-based processor 1 generation is one of the most widely studied areas in processor 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 date that reconcile object-oriented principl
- Cited by 2 (0 self) – Add To MetaCart
-
A Formalization of the Common Type
- ECMA Standard 335, "Common Language Infrastructure (CLI)", was published in December 2001. According to Partition I, Section 1, it defines the Common Language Infrastructure (CLI) in which applications written in multiple high level languages may be executed in di#erent system environments without t
- Add To MetaCart

