Sciweavers

1890 search results - page 50 / 378
» Model-Based Testing in Practice
Sort
View
ICST
2009
IEEE
15 years 6 months ago
Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)
The problem of testing from an extended finite state machine (EFSM) can be expressed in terms of finding suitable paths through the EFSM and then deriving test data to follow the ...
Abdul Salam Kalaji, Robert M. Hierons, Stephen Swi...
UML
2004
Springer
15 years 5 months ago
Test Driven Development of UML Models with SMART Modeling System
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mor...
IFIP
2007
Springer
15 years 6 months ago
Capable Leader and Skilled and Motivated Team Practices to Introduce eXtreme Programming
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...
Lech Madeyski, Wojciech Biela
JKM
2007
126views more  JKM 2007»
14 years 11 months ago
The moderating role of human capital management practices on employee capabilities
Purpose – The purpose of this paper is to suggest and empirically test a model that explains employee capabilities from the knowledge-based perspective. In this model, human cap...
Nick Bontis, Alexander Serenko
CTRSA
2009
Springer
141views Cryptology» more  CTRSA 2009»
15 years 3 months ago
Practical Short Signature Batch Verification
In many applications, it is desirable to work with signatures that are both short, and yet where many messages from different signers be verified very quickly. RSA signatures sati...
Anna Lisa Ferrara, Matthew Green, Susan Hohenberge...