1601 search results - page 310 / 321 » The affordable application of formal methods to software eng... |
UIST
2006
ACM
14 years 1 months ago
2006
ACM
We present the Haptic Shading Framework (HSF), a framework for procedurally defining haptic texture. HSF haptic texture shaders are short procedures allowing an application-progr...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
ECOOP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Programming with Java monitors is recognized to be difficult, and potentially inefficient due to many useless context switches induced by the notifyAll primitive. This pa...
ENTCS
2007
13 years 7 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...