2741 search results - page 45 / 549 » Engineering Mathematical Knowledge |
102
click to vote
DEXA
2003
Springer
15 years 5 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...
WSC
2004
15 years 1 months ago
2004
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
WWW
2005
ACM
16 years 15 days ago
2005
ACM
The correctness of the Z semantics of OWL is the theoretical foundation of using software engineering techniques to verify Web ontologies. As OWL and Z are based on different logi...
WSC
2007
15 years 2 months ago
2007
Simulation modelers have a diversity of educational backgrounds including several engineering and scientific disciplines, mathematics and computer related fields. Many of the skil...
111
click to vote
ICSE
2001
IEEE-ACM
15 years 4 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...