Sciweavers

15860 search results - page 641 / 3172
» On agent-based software engineering
Sort
View
205
Voted
ICSE
1999
IEEE-ACM
15 years 11 months ago
A Cooperative Approach to Support Software Deployment Using the Software Dock
Software deployment is an evolving collection of interrelated processes such as release, install, adapt, reconfigure, update, activate, deactivate, remove, and retire. The connect...
Richard S. Hall, Dennis Heimbigner, Alexander L. W...
201
Voted
HICSS
2003
IEEE
146views Biometrics» more  HICSS 2003»
16 years 17 days ago
A Model for the Emergence and Diffusion of Software Standards
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...
Tim Stockheim, Michael Schwind, Wolfgang Köni...
200
Voted
APSEC
1999
IEEE
15 years 11 months ago
Software Development Based on Software Pattern Evolution
This paper discusses a technique to model software patternsfor supporting pattern based software development. Software development can be considered as the evolution of the artifa...
Takashi Kobayashi, Motoshi Saeki
ICSE
2007
IEEE-ACM
16 years 7 months ago
Formal Software Analysis Emerging Trends in Software Model Checking
The study of methodologies and techniques to produce correct software has been active for four decades. During this period, researchers have developed and investigated a wide vari...
Matthew B. Dwyer, John Hatcliff, Robby, Corina S. ...
ASWEC
2000
IEEE
15 years 11 months ago
Formal Requirements Engineering: Learning from the Students
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...
J. Paul Gibson