7202 search results - page 12 / 1441 » Software System Engineering: A Tutorial |
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
Architects are faced with the problem of building enterprise scale information systems, with streamlined, automated internal business processes and web-enabled business functions,...
JUCS
2006
13 years 9 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...
IEEECIT
2010
IEEE
13 years 8 months ago
2010
IEEE
—The great appliance of engineering makes it different from other common subjects in teaching methods. This paper puts forward a concept of case learning that is constructed with...
ICARCV
2006
IEEE
14 years 3 months ago
2006
IEEE
—This work presents chemical communication techniques for nanorobots foraging in fluid environments relevant for medical applications. Unlike larger robots, viscous forces and ra...
ANSOFT
1998
13 years 9 months ago
1998
