Results 201 to 210 of about 2,951,798 (263)
Use and characteristics of free/libre and open source electronic health records: an overview of reviews. [PDF]
JAMIA OpenThives Mello A +11 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
The methodological thesis: Methodology seen as theory and theory as methodology
2022The methodological thesis os an old project that aims to see the work in the Social Sciences in the methodological point of view instead of the theoretical. The objectives of this proposal can be several. The main are to evaluate scientific work that have been done, validating it and improving one research during his corse or after the same.
Serafim Camalhão, Isabel Camalhão
openaire +1 more source
Acta Informatica, 1986
We introduce a predicative semantics of programs and show its use in programming. With it, logic errors can be detected and reported when they are made, just like syntax errors. Programming paradigms are stated precisely as theorems. The use of paradigms in larger programs is shown to be the same as the mathematician's use of theorems in the proof of ...
Eric C. R. Hehner +2 more
openaire +2 more sources
We introduce a predicative semantics of programs and show its use in programming. With it, logic errors can be detected and reported when they are made, just like syntax errors. Programming paradigms are stated precisely as theorems. The use of paradigms in larger programs is shown to be the same as the mathematician's use of theorems in the proof of ...
Eric C. R. Hehner +2 more
openaire +2 more sources
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL
Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95, 2002There is a growing disappointment that formal methods have not been widely adopted in industry. One reason for this is that their application consumes prohibitive amounts of resource. Much research on the integration of available formal methods (e.g. Z, VDM, B-Method) and other structured methodology or object-oriented methodology have been conducted ...
Shaoying Liu, Yong Sun
openaire +1 more source