Results 241 to 250 of about 2,124,931 (265)

FORMALISM

2010
openaire   +1 more source

Using formal specifications to support testing

ACM Computing Surveys, 2009
Robert Hierons, Mark Harman, Anthony J H Simons   +2 more
exaly  

Formal safety assessment of cruise ships

Tourism Management, 2004
Jin Wang, T Ruxton
exaly  

Knowledge reduction in decision formal contexts

Knowledge-Based Systems, 2011
Jinhai Li
exaly  

Formal and Informal Institutions and Development

World Development, 2010
Marina Della Giusta, Uma S Kambhampati
exaly  

Renewal Through Reorganization: The Value of Inconsistencies Between Formal and Informal Organization

Organization Science, 2009
Phanish Puranam, Ranjay Gulati
exaly  

On the Evolution of Trust, Distrust, and Formal Coordination and Control in Interorganizational Relationships

Group and Organization Management, 2007
Henk Volberda, Frans A J Van Den Bosch, Paul W L Vlaar   +2 more
exaly  

Formal control and social control in domestic and international buyer–supplier relationships

Journal of Operations Management, 2010
Mike Peng, Hock-Hai Teo
exaly  

Rule acquisition and complexity reduction in formal decision contexts

International Journal of Approximate Reasoning, 2014
Ming-Wen Shao, Yee Leung, Wei-Zhi Wu
exaly  

Applying Formal Methods to Networking: Theory, Techniques, and Applications

IEEE Communications Surveys and Tutorials, 2015
Junaid Qadir, Osman Hasan
exaly