the following topics are dealt with: complexcomputersystemsengineering real-time systems; modeling and verification; safety and security; context awareness and ubiquitous computing; formal languages; and software a...
the following topics are dealt with: complexcomputersystemsengineering real-time systems; modeling and verification; safety and security; context awareness and ubiquitous computing; formal languages; and software architecture.
the following topics are dealt with: software experiences; requirements engineering; objects and communication; hardware and software; autonomous and autonomic systems; system verification; and distributed system.
the following topics are dealt with: software experiences; requirements engineering; objects and communication; hardware and software; autonomous and autonomic systems; system verification; and distributed system.
the following topics are dealt with: complex system engineering; SOFL; structured object-oriented formal language; metamodel; MDD support; software architecture; software analysis; formal verification; networks; progr...
the following topics are dealt with: complex system engineering; SOFL; structured object-oriented formal language; metamodel; MDD support; software architecture; software analysis; formal verification; networks; program slicing; real time system; security; Web systems; component-based technology; software systems; wireless communication; software testing; software design; and software evaluation and measurement.
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carr...
Copyright and Reprint Permissions: Abstracting is permitted with credit to the source. Libraries may photocopy beyond the limits of US copyright law, for private use of patrons, those articles in this volume that carry a code at the bottom of the first page, provided that the per-copy fee indicated in the code is paid through the Copyright Clearance Center. the papers in this book comprise the proceedings of the meeting mentioned on the cover and title page. they reflect the authors' opinions and, in the interests of timely dissemination, are published as presented and without change. their inclusion in this publication does not necessarily constitute endorsement by the editors or the Institute of Electrical and Electronics Engineers, Inc.
暂无评论