3799 search results - page 94 / 760 » An Engineering Approach to Formal Methods |
DOCENG
2007
ACM
14 years 1 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
DAGSTUHL
2007
13 years 10 months ago
2007
My work has two relationships with End User Software Engineering. First, as an Empirical Software Engineer, I am interested in meeting with people who do research into techniques ...
DEXA
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Engineering design is a knowledge intensive activity. Design is characterized as comprising a number of phases from requirements to detailed specification. Transitions be...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
CAISE
2000
Springer
14 years 1 months ago
2000
Springer
Process know-how is instrumental to govern engineering processes in a network of engineering departments as well as migrate changes of processes due to emerging technological or ot...