3799 search results - page 321 / 760 » An Engineering Approach to Formal Methods |
188
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
145
Voted
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose a Semantic Graphs for Image Search (SGIS) system, which provides a novel way for image search by utilizing collaborative knowledge in Wikipedia and netwo...
188
click to vote
SACMAT
2006
ACM
16 years 21 days ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
157
click to vote
TCBB
2010
15 years 5 months ago
2010
—Models of regulatory networks become more difficult to construct and understand as they grow in size and complexity. Large models are usually built up from smaller models, repre...
172
Voted
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...