束缚
发表于 2025-3-23 10:05:24
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.
枫树
发表于 2025-3-23 17:49:47
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
发表于 2025-3-23 20:51:59
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
发表于 2025-3-23 23:47:50
http://reply.papertrans.cn/71/7003/700203/700203_14.png
Pericarditis
发表于 2025-3-24 03:36:58
http://reply.papertrans.cn/71/7003/700203/700203_15.png
implore
发表于 2025-3-24 10:19:41
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.
角斗士
发表于 2025-3-24 13:17:10
http://reply.papertrans.cn/71/7003/700203/700203_17.png
Herpetologist
发表于 2025-3-24 14:50:38
978-3-540-64039-4Springer-Verlag Berlin Heidelberg 1998
encomiast
发表于 2025-3-24 19:45:19
http://reply.papertrans.cn/71/7003/700203/700203_19.png
Incommensurate
发表于 2025-3-25 02:19:30
0302-9743 Overview: 978-3-540-64039-4978-3-540-69687-2Series ISSN 0302-9743 Series E-ISSN 1611-3349