Sciweavers

5961 search results - page 223 / 1193
» Design Science and Software Engineering
Sort
View
AOSE
2007
Springer
15 years 8 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
SIGSOFT
2010
ACM
15 years 11 days ago
Top ten ways to make formal methods for HPC practical
Almost all fundamental advances in science and engineering crucially depend on the availability of extremely capable high performance computing (HPC) systems. Future HPC systems w...
Ganesh Gopalakrishnan, Robert M. Kirby
104
Voted
SEE
2010
Springer
15 years 27 days ago
Development of Role-Play Scenarios for Teaching Responsible Conduct of Research
We describe the development, testing, and formative evaluation of nine role-play scenarios for teaching central topics in the responsible conduct of research to graduate students ...
Bradley J. Brummel, C. K. Gunsalus, Kerri L. Ander...
142
Voted
ICSE
2010
IEEE-ACM
15 years 13 days ago
Syde: a tool for collaborative software development
Team collaboration is essential for the success of multi-developer projects. When team members are spread across different locations, individual awareness of the activity of other...
Lile Hattori, Michele Lanza
EMSOFT
2005
Springer
15 years 8 months ago
Uniform object modeling methodology and reuse of real-time system using UML
The recent release of UML 2.0 has corrected a lot of design diffi
Bui Minh Duc