2419 search results - page 183 / 484 » A Formal Approach to Software Testing |
126
Voted
QUATIC
2007
IEEE
15 years 10 months ago
2007
IEEE
The milestones of the history of software development are paradigm shifts. Each paradigm brought its own features and new ways of composing them to assemble software systems. Unde...
128
Voted
MASCOTS
2003
15 years 5 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
121
Voted
UML
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
139
Voted
JUCS
2006
15 years 3 months ago
2006
: Program slicing is a well known family of techniques used to identify code fragments which depend on or are depended upon specific program entities. They are particularly useful ...
126
Voted
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...