![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
IEE Proceedings - Software, Volume 146
Volume 146, Number 1, February 1999
- Peter J. B. King, Rob Pooley:
The unified modelling language. 2-10 - Graham Clark, Stephen Gilmore, Jane Hillston, Nigel Thomas:
Experiences with the PEPA performance modelling. 11-20 - Sophie Dumas, G. Gerlinger, Georges Gardarin:
SWAP, a performance evaluation tool. 21-26 - Matthias Becker
, Helena Szczerbicka:
PNiQ: Intergration of queuing networks in generalised stochastic Petri nets. 27-32 - Putra Sumari
, Madjid Merabti, Rubem Pereira:
Video-on-demand server: Strategies for improving performance. 33-38 - Peter B. Key, Derek McAuley
:
Differential QoS and pricing in networks: Where flow control meets game theory. 39-43 - Alessandra Russo
, Bashar Nuseibeh, Jeff Kramer:
Restructuring requirement specifications. 44-50
Volume 146, Number 2, April 1999
- I. J. Bate, Alan Burns:
Editorial real-time systems - multidisciplinary engineering [Editorial]. 57 - Christof Fetzer, Flaviu Cristian:
Fail-aware datagram service. 58-74 - A. M. Fox, Jim E. Cooling, Niall Cooling:
Integrated design approach for real-time embedded systems. 75-85 - Irina M. Smarandache, Nimal Nissanke:
Applicability of SIGNAL in safety critical system development. 86-95 - Gabriele Manduchi:
Modelling a distributed real-time system for feedback control in a nuclear fusion experiment. 96-103 - Colin J. Fidge
, Ian J. Hayes, Geoffrey Watson:
The deadline command. 104-111 - Pierre G. Jansen, René Laan:
The stack resource protocol based on real-time transactions. 112-119 - Maryline Silly-Chetto
:
Dynamic acceptance of aperiodic tasks with periodic tasks under resource sharing constraints. 120-127 - Christos T. Karamanolis:
Elements of distributed algorithms-modeling and analysis with petri nets Wolfgang Reisig [Book review]. 128
Volume 146, Number 3, June 1999
- Peter Henderson:
Editorial: Systems engineering for business process change. 129 - Darren Lee Buttle, John A. Clark, John A. McDermid, Alan Stephenson, Nigel James Tracey:
CONVERSE: A change-oriented process for engine controllers. 130-136 - Helen M. Edwards, Gillian Margaret Mallalieu:
RAMESES: A method for evaluating change in small organisations. 137-144 - Rick G. Dewar, Ashley D. Lloyd, Rob Pooley, Perdita Stevens:
Identifying nd communicting expertise in systems reengineering: a patterns approach. 145-152 - Keith H. Bennett, Magnus Ramage
, Malcolm Munro:
Decision model for legacy systems. 153-159 - Brian Warboys, Robert Mark Greenwood, Peter Kawalek:
Case for an explicit co-ordination layer in modern business information systems architectures. 160-166 - Muffy Calder, Evan H. Magill, Dave Marples:
Hybrid approach to software interworking problems: managing interactions between legacy and evolving telecommunications software. 167-176
Volume 146, Number 4, August 1999
- Keith H. Bennett:
Editorial: The Software Engineering Association. 177-178 - John Alexander McDermid, Keith H. Bennett:
Software engineering research: A critical appraisal. 179-186 - Young Gon Kim, Hyoung Seok Hong, Doo-Hwan Bae, Sung Deok Cha:
Test cases generation from UML state diagrams. 187-192 - Kate Finney, Norman E. Fenton
, Alexander M. Fedorec:
Effects of structure on the comprehensivility of formal specifications. 193-202 - Fawzi Albalooshi, Fred Long:
Multiple view environment supporting VDM and Ada. 203-219
Volume 146, Number 5, October 1999
- Andrew Hussey, David A. Carrington:
Object-oriented user-interface development. 221-231 - Alberto Avritzer, Elaine J. Weyuker:
Quality of service enforcement for distributed objects. 232-240
Volume 146, Number 6, December 1999
- Chung-Ming Huang, Hsu-Yang Kung:
Developing multicast, multiple-stream, multimedia presentations using a formal approach. 245-276 - Hassan Gomaa, Ghulam A. Farrukh:
Methods and tools for the automated configuration of distributed applications from reusable software architectures and components. 277-290
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.