Titlebook: Object-Oriented Technology: ECOOP ’97 Workshop Reader; ECOOP’97 Workshops J Jan Bosch,Stuart Mitchell Conference proceedings 1998 Springer-

束縛

The Formalization and Simulation of a Network Management Model,e a new FDT, the B method. We believe that B method has advantages over its counterparts and will bring new ideas on subjects such as ODP concepts. To confirm our assertions, we have tested this method on a real case study, the management of a WDM network based on the TMN.

楓樹(shù)

OST - An Object-Oriented Computer Networks System Specification Tool,mentation process is needed. This work presents a development tool based on the NSOMA methodology, intended to help the designers in the formal definition of specifications. It is composed of a graphical editor, an animation module that allows the visualization of specification dynamic behavior and a source code automatic generating module.

Urea508

Patterns of the Agenda,gn patterns is ripe for an endeavor at an underlying formal conceptual framework. In this article we address future directions in the investigation of design patterns and stress the significance of precise specifications. We also propose our own approach at precise specification of design patterns.

Buttress

Pericarditis

implore

Implementing Real-Time Actors with MetaJava,Actors are a suitable abstraction to manage concurrency in realtime applications. Meta-level programming can help to separate real-time concerns from application concerns. We use reflection to transform passive objects into active objects. Then we extend the meta-level implementation of the actors to be sensitive to soft real-time requirements.

角斗士

Herpetologist

978-3-540-64039-4Springer-Verlag Berlin Heidelberg 1998

encomiast

Incommensurate

0302-9743 Overview: 978-3-540-64039-4978-3-540-69687-2Series ISSN 0302-9743 Series E-ISSN 1611-3349