4919 search results - page 447 / 984 » A Process-Ontological Model for Software Engineering |
187
click to vote
KBSE
2005
IEEE
16 years 14 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
164
click to vote
IUI
2004
ACM
16 years 9 days ago
2004
ACM
While developing the Simple Gesturing User Interface (SGUI) API for incorporating simple gestures into personal digital assistant (PDA) user interfaces, we developed an object-bas...
201
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
200
click to vote
CSSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Risk assessment is a very important tool to acquire a present and future security status of the network information system. Many risk assessment approaches consider the present ...
162
click to vote
QSIC
2008
IEEE
16 years 1 months ago
2008
IEEE
Fault localization is a major activity in software debugging. Many existing statistical fault localization techniques compare feature spectra of successful and failed runs. Some a...