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.
暂无评论