Sciweavers

3021 search results - page 18 / 605
» A Domain Engineering Approach for Situational Method Enginee...
Sort
View
ICSM
2006
IEEE
14 years 3 months ago
Reverse Engineering Method Stereotypes
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
Natalia Dragan, Michael L. Collard, Jonathan I. Ma...
ECBS
2009
IEEE
120views Hardware» more  ECBS 2009»
14 years 4 months ago
Tuning Complex Sensornet Systems Using Principled Engineering Methods
Sensornet lifespan and utility is limited by the energy resources of individual motes. Network designers seek to maximise energy efficiency while maintaining acceptable Quality o...
Jonathan Tate, Iain Bate
ZUM
1994
Springer
147views Formal Methods» more  ZUM 1994»
14 years 1 months ago
Integrating Formal Methods into a Professional Master of Software Engineering Program
A critical issuein the designof aprofessionalsoftware engineeringdegreeprogram is the way in which formal methods are integrated into the curriculum. The approach taken by most pr...
David Garlan
B
2007
Springer
14 years 4 months ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
AAMAS
2004
Springer
13 years 9 months ago
Challenges and Research Directions in Agent-Oriented Software Engineering
Abstract. Agent-based computing is a promising approach for developing applications in complex domains. However, despite the great deal of research in the area, a number of challen...
Franco Zambonelli, Andrea Omicini