Hasil Pencarian  ::  Simpan CSV :: Kembali

"Research Methods in Construction will help you instil rigour into your problem-solving, and into your reports and publications. It will be of value to construction, surveying, architecture and civil engineering students undertaking research, whether for bachelors and masters degree dissertations, or for masters and doctoral research degree theses. Now in its Fourth Edition, this remains one of the few books to provide guidance on research formulation, methodologies, and methods specifically for construction students. --Three main sections - Producing a Proposal, Executing the Research and Reporting the Results discuss the key issues in research and examine the primary approaches, both qualitative and quantitative. The methods adopted for scientific and engineering experiments, model building and simulations are discussed, as well as those employed for research into management, social and economic issues. The authors examine the requirements for data and analysis, including the important statistical considerations and a range of qualitative techniques that enable construction researchers to appreciate what needs to be evaluated in devising how research may be carried out effectively and efficiently. --This new edition has been updated to reflect current debates and concerns, including ethical issues, legislation and codes of practice concerning the collection, processing, storage, use and disposal of data. Pressures of time and funding to carry out the empirical work all too often lead to a lack of attention to how the study should be done and why. The authors address the importance of explaining the philosophical approach adopted (ontology, epistemology) and the consequent methodology. They advocate close scrutiny of the methods available for appropriateness, both academically and practically. --The fundamental theme of the book remains to facilitate a researcher's informed and justified selection of a philosophical paradigm and of appropriate methods to execute the research. --Book Jacket."

"This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012. The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification."

"This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19 revised research papers presented together with 3 short papers, 2 tool papers, and 2 invited talks were carefully reviewed and selected from 98 full submissions. The SEFM conference aspires to advance the state-of-the-art in formal methods, to enhance their scalability and usability with regards to their application in the software industry and to promote their integration with practical engineering methods."

"This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2012, held in Bertinoro, Italy, in June 2012. SFM 2012 was devoted to model-driven engineering and covered several topics including modeling languages, model transformations, functional and performance modeling and analysis, and model evolution management."

"This book contains papers presented at the first Open Source Geospatial Research Symposium held in Nantes City, France, 8-10 July, 2009. It brings together insights and ideas in the fields of Geospatial Information and Geoinformatics. It demonstrates the scientific community dynamism related to open source and free software as well as in defining new concepts, standards or tools."