Sciweavers

5407 search results - page 301 / 1082
» The Software Engineering Global Model
Sort
View
ATAL
2003
Springer
15 years 12 months ago
A formal compositional model of multiagent interaction
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
Sea Ling, Seng Wai Loke
ICSE
2007
IEEE-ACM
16 years 26 days ago
Cost-Benefit Analysis of Software Development Techniques and Practices
Investigations of software development practices, processes, and techniques frequently report separately on the costs and benefits of a phenomenon under study, but rarely adequate...
Hakan Erdogmus
IJSEKE
2000
90views more  IJSEKE 2000»
15 years 6 months ago
Planning Support to Software Process Evolution
The ability to handle changes is a characteristic feature of successful software projects. The problem addressed in this paper is what should be done in project planning and itera...
Reidar Conradi, Minh Ngoc Nguyen, Alf Inge Wang, C...
ICSE
2004
IEEE-ACM
16 years 6 months ago
Elaborating Security Requirements by Construction of Intentional Anti-Models
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
Axel van Lamsweerde
KBSE
2008
IEEE
16 years 1 months ago
Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
Moonzoo Kim, Yunho Kim, Hotae Kim