1481 search results - page 144 / 297 » Enriching the Software Development Process by Formal Methods |
165
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
143
Voted
SP
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
174
Voted
IEEESCC
2010
IEEE
15 years 1 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
132
click to vote
ASPDAC
2009
ACM
15 years 10 months ago
2009
ACM
Abstract— This paper presents synthesis of Hardware Dependent Software (HdS) for multicore and many-core designs using Embedded System Environment (ESE). ESE is a tool set, devel...
122
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
Aspect oriented design (AOD) research is fragmented. Barriers to AOD adoption are, in part, due to the fragmented nature of AOD research. Individually, many approaches provide ele...