Sciweavers

1704 search results - page 175 / 341
» Focusing Software Education on Engineering
Sort
View
CSSE
2008
IEEE
15 years 11 months ago
Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu K...
ICST
2008
IEEE
15 years 11 months ago
Model-Based Quality Assurance of Windows Protocol Documentation
Microsoft is producing high-quality documentation for Windows client-server and server-server protocols. Our group in the Windows organization is responsible for verifying the doc...
Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...
ICST
2008
IEEE
15 years 11 months ago
Testing Java Components based on Algebraic Specifications
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A prototype testing tool called ...
Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu
121
Voted
KBSE
2008
IEEE
15 years 11 months ago
Utilizing Firm-Hosted Online Communities: Research challenges and needs
The increased popularity of Firm-Hosted Online Communities (FOC) has initiated a radical transformation of customer-producer relationships in many industries with important implic...
Sami Jantunen, Kari Smolander, Sanna Malinen, Tytt...
AGILEDC
2007
IEEE
15 years 11 months ago
The Agile Maturity Map A Goal Oriented Approach to Agile Improvement
Fulfilling the potential of Agile development depends on people truly wanting to change how they work. Transitioning to new methods of development is particularly daunting in a la...
Jay Packlick