Sciweavers

15885 search results - page 639 / 3177
» Strategic Software Engineering
Sort
View
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
ASWEC
2005
IEEE
16 years 24 days ago
Australian Software Development: What Software Project Management Practices Lead to Success?
We surveyed a number of Australian software practitioners in order to understand what software development practices were used in their recent software projects. We were particula...
June M. Verner, Narciso Cerpa
PPPJ
2006
ACM
16 years 1 months ago
Experiences with the development of a reverse engineering tool for UML sequence diagrams: a case study in modern Java developmen
The development of a tool for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of J...
Matthias Merdes, Dirk Dorsch