Sea Ling, Bohdan Durnota  Home/Search
Context
Related
| monash.edu.au/research/publ...P9516.ps monash.edu.au/publica...sdP9516.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: monash.edu.au/researc...ABSTRACTS (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Modelling by means of specification languages is increasingly being recognised as an important phase in system development. It encourages one to think about problems using models organised around real-world situations. The system to be developed should then be consistent, correct and unambiguous with respect to the models produced. The JustIn -Time kanban system is an example of a real-world problem with a multiple-supplier and multiple-client architecture. The purpose of this paper is to use... (Update)
Active bibliography (related documents): More All
0.3: Efficient Detection of Deadlocks in Petri Nets - Varpaaniemi (1993) (Correct)
0.3: A Framework for Testing Object Oriented Software Using Formal .. - Rohan Fletcher (1996) (Correct)
0.3: Issues and Difficulties in the Design and Control of.. - Custódio.. (Correct)
Similar documents based on text: More All
0.3: Object-Oriented Formal Specification for Spatial.. - Bohdan Durnota.. (1994) (Correct)
0.3: Formal Ontologies, Specifications and Logics in Canopy Research - Durnota (1995) (Correct)
0.3: An Object Model of an Animal's - Environment Bohdan Durnota (1996) (Correct)
BibTeX entry: (Update)
@misc{ ling-specifying,
author = "Sea Ling and Bohdan Durnota",
title = "Specifying The Just-In-Time Kanban System Using Two Object-Oriented Modelling
Techniques",
url = "citeseer.ist.psu.edu/14737.html" }
Citations (may not include all citations):1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
200 Prentice Hall International Series in Computer Science (context) - Spivey, The et al. - 1992
123 An Introduction to Formal Methods (context) - Diller - 1990
85 Coloured Petri nets (context) - Jensen - 1986
69 Object-Oriented Design (context) - Booch - 1991
44 specification language (context) - Duke, King et al.
37 Deadlock avoidance in flexible manufacturing systems with co.. (context) - Banaszak, Krogh - 1990
18 Software Engineering (context) - Pressman - 1992
6 Petri nets in software engineering (context) - Reisig - 1986
4 Japanese Manufacturing Techniques (context) - Schonberger - 1982
3 Formal specification and validation in production plants (context) - Ezpeleta, Martinez - 1992
3 Packages for validating discrete production systems modeled .. (context) - Colom, Martinez et al. - 1987
3 Sofware Verification Research Center: Department of Computer.. (context) - Duke, King et al.
1 A comparison of techniques for specifying concurrent systems.. (context) - Ling, Durnota - 1993
1 Use of Petri nets for system reliability evaluation (context) - Hura - 1993
1 language for object-oriented petri nets (context) - Lakos - 1991
Documents on the same site (http://insect.sd.monash.edu.au/research/publications/1995/ABSTRACTS.html): More
Visualisations of Large Object-Oriented Systems - Haynes, Menzies, Cohen (1995) (Correct)
Interoperability Between Object-Oriented Programming.. - Chen, Huang, Sajeev (1995) (Correct)
Reasoning About Concurrent Objects - Schmidt, Chen (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC