Results 151 to 160 of about 6,431,844 (211)
Some of the next articles are maybe not open access.
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 +2 more sources
Methodology and Reconstruction
The Psychoanalytic Quarterly, 1991The challenges presented in treating patients with so-called borderline and narcissistic personality disorders have revived interest in the subject of reconstruction, because many analysts believe that these difficulties originate in the events of the earliest preverbal phase of development.
openaire +3 more sources
A methodology for methodology choice
Systems Research, 1988AbstractThere are currently available a variety of methodologies which aid the improvement of problematic situations which can legitimately claim to be grounded in systems approaches. These have emerged over many years and each methodology has unique features which enable it to be used successfully in particular types of situation.
openaire +1 more source