1601 search results - page 119 / 321 » The affordable application of formal methods to software eng... |
KBSE
2010
IEEE
13 years 7 months ago
2010
IEEE
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
TOSEM
2002
13 years 8 months ago
2002
Abstract. The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of usefu...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
Software internationalization is often necessary when distributing software applications to different regions around the world. In many cases, developers often do not internationa...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
ICASSP
2011
IEEE
13 years 28 days ago
2011
IEEE
A new multi-core DSP board is available for university and industry engineers. The LogicPD ZoomTM OMAP-L138 eXperimenter Kit, featuring Texas Instruments’ dual core SoC (ARM9 an...