2005 · 53 citations · 0 references
ComputingComputer ScienceComputer SystemsDistributed SystemsFault ToleranceFault-tolerant ComputingCyber-physical Systems ArchitectureCyber-physical Systems DesignDistributed ComputingDistributed Systems ArchitectureHigh AvailabilityInterprocess CommunicationComputer OrganizationGraph-theoretic Circuit FormulationInterconnection GraphsInterconnection Network Topology DesignOptimization Of Complex Systems
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.