1104 search results - page 85 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
EDOC
2007
IEEE
14 years 3 months ago
2007
IEEE
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...
COMPSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
1 Typical enterprise and military software systems consist of millions of lines of code with complicated dependence on library abstractions. Manually debugging these codes imposes ...
TSE
2010
13 years 3 months ago
2010
Genetic algorithms (GAs) have been applied previously to UML-driven, stress test requirements generation with the aim of increasing chances of discovering faults relating to networ...
ECOOPW
1999
Springer
14 years 1 months ago
1999
Springer
The model checking of applications of aspects is explained, by showing the stages and proof obligations when a collection of generic aspects (called a superimposition) is combined...
EURODAC
1994
IEEE
14 years 1 months ago
1994
IEEE
synchronisation also play a fundamental role in overall system robustness. ElectroMagnetic Compatibility (EMC) and ElectroMagnetic Interference (EMI) issues also have to be conside...