Results 251 to 260 of about 2,124,931 (265)

A specifier's introduction to formal methods

Computer, 1990
J M Wing
exaly  

Formalization of EXEL

Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '73, 1973
Louis Nolin, G. Ruggiu
openaire   +1 more source

Knowledge reduction in real decision formal contexts

Information Sciences, 2012
Jinhai Li
exaly  

Formal concept analysis based on the topology for attributes of a formal context

Information Sciences, 2013
Dan Meng, Zhicai Liu, Da Ruan
exaly  

Formal safety assessment of containerships

Marine Policy, 2001
Jin Wang
exaly  

Hierarchical formalizations

International Journal of Man-Machine Studies, 1991
Tom Routen, Trevor J. M. Bench-Capon
openaire   +1 more source

Formal methods

ACM Computing Surveys, 2009
Juan Bicarregui, John Fitzgerald, James Woodcock   +2 more
exaly  

Rule-preserved object compression in formal decision contexts using concept lattices

Knowledge-Based Systems, 2014
Jinhai Li
exaly  

Economic and political institutions and entry into formal and informal entrepreneurship

Asia Pacific Journal of Management, 2014
Kun Fu, Erkko Autio, Autio Erkko
exaly  

Formalism, Formal Sociology

2006
openaire   +1 more source