1483 search results - page 143 / 297 » Integrated Modeling of Business Value and Software Processes |
149
click to vote
ISPASS
2005
IEEE
15 years 10 months ago
2005
IEEE
A wide spectrum of e-commerce (B2B/B2C), banking, financial trading and other business applications require the exchange of data to be highly secure. The Secure Sockets Layer (SSL...
150
click to vote
JOT
2010
15 years 2 months ago
2010
Object-oriented analysis and design have been more concerned with system functionality, neglecting non-functional aspects; the result is code which is tangled and difficult to main...
162
click to vote
ADAEUROPE
2001
Springer
15 years 9 months ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
166
Voted
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
134
click to vote
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Advances in geographical information systems (GIS) and supporting data collection technology has resulted in the rapid collection of a huge amount of spatial data. However, known ...