898 search results - page 99 / 180 » The Certification of Software Tools with respect to Software... |
143
click to vote
OOPSLA
2007
Springer
16 years 12 days ago
2007
Springer
Software designers in the object-oriented paradigm can make use of modeling tools and standard notations such as UML. Nevertheless, casual observations from collocated design coll...
206
click to vote
DASIP
2010
15 years 1 months ago
2010
Nowadays, the design flow of complex signal processing embedded systems starts with a specification of the application by means of a large and sequential program (usually in C/C++...
167
click to vote
SOFTVIS
2003
ACM
15 years 11 months ago
2003
ACM
UML diagrams have become increasingly important in the engineering and reengineering processes for software systems. Of particular interest are UML class diagrams whose purpose is...
184
click to vote
ICECCS
2009
IEEE
16 years 28 days ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
179
click to vote
PLDI
2006
ACM
16 years 7 days ago
2006
ACM
Program termination is central to the process of ensuring that systems code can always react. We describe a new program termination prover that performs a path-sensitive and conte...