Sebanyak 508 item atau buku ditemukan

Poligami

perspektif perikatan nikah : telaah kontekstual menurut hukum Islam dan Undang-Undang Perkawinan no. 1 tahun 1974

Polygamy according to Islamic law and Indonesian law on marriage.

Bersabda Rasulullah SAW: Empat hal yang jadi sunnah para rasul adalah
berperasaan malu, menggunakan yang wangi, siwak, dan ... Hal ini dipertegas
Rasulullah SAW lagi dalam hadits yang diriwayatkan 36 • Titik Triwulan Tutik.
S H .

Seminar jaringan informasi, dokumentasi, dan kerjasama perpustakaan

Cibulan, Cisarua, 24-25 Januari 1995

Seminar on Documentation, Information and Library Cooperation Network in Indonesia; proceedings.

PENDAHULUAN Berbicara tentang jaringan informasi pada abad sekarang mau
tidak mau pasti melibatkan komputer. Komputer yang dahulu dianggap sebagai
barang mewah sekarang tidak lagi, malahan telah menjadi salah satu dari ...

Reformasi konstitusi Indonesia

Perubahan pertama UUD 1945

Commentary on the first amendment of the 1945 Constitution of Indonesia.

... langsung, maka presiden besar kemungkinan akan berasal dari orang Jawa.
66 Berkaitan dengan kemungkinan besar presiden dan wakil persiden dari Jawa
dibanding dari daerah lain, Asnawi Latief mempunyai pandangan berbeda.

Caught between three fires

the Javanese pangulu under the Dutch colonial administration, 1882-1942

Belinfante, 's- Gravenhage, 1928. Niel, Robert van, The Emergence of the
Modern Indonesian Elite, Foris Publication, Dordrecht-Holland/Cinnaminson-
USA, 1984. Noeh, H. Zaini Ahmad and H. Abdul Basit Adnan, Sejarah Singkat
Pengadilan ...

Fundamental Approaches to Software Engineering

7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - april 2, 2004, Proceedings

ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ?ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these act- ities are all well within its scope. Di?erent blends of theory and practice are r- resented, with an inclination towards theory with a practical motivation on the one hand and soundly based practice on the other. Many of the issues involved in software design apply to systems in general, including hardware systems, and theemphasisonsoftwareisnotintendedtobeexclusive.

In addition to attributes, since there are four types of different modules in an
aspect, i.e., advice, introduction, pointcuts and methods, there may have the
following possible types of inter-module dependencies, i.e., dependencies
between ...

Fundamental Approaches to Software Engineering

17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this volume, together with one invited talk, were carefully reviewed and selected from 125 submissions. They have been organized in topical sections on: modeling and model transformation; time and performance; static analysis; scenario-based specification; software verification; analysis and repair; verification and validation; graph transformation and debugging and testing.

If a field p.f is modified in a method m, for each transitive owner o of p, the call
stack contains a method invocation where o is a receiver. We require that all
class invariants in the program are ownership admissible: Definition 2. A class
invariant ...

Approaches and Applications of Inductive Programming

Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009, Revised Papers

There are two more constructors left to define, the first is the one for a Method:
method : Identifier × Message → Method (12) As it is already evident that a
method will have to be identified later on, an Identifier needs to be declared for it
as done ...

Human-Computer Interaction: Design and Development Approaches

14th International Conference, HCI International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings

This four-volume set LNCS 6761-6764 constitutes the refereed proceedings of the 14th International Conference on Human-Computer Interaction, HCII 2011, held in Orlando, FL, USA in July 2011, jointly with 8 other thematically similar conferences. The revised papers presented were carefully reviewed and selected from numerous submissions. The papers accepted for presentation thoroughly cover the entire field of Human-Computer Interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas. The papers of this first volume are organized in topical sections on HCI design, model-based and patterns-based design and development, cognitive, psychological and behavioural issues in HCI, development methods, algorithms, tools and environments, and image processing and retrieval in HCI.

To realize the machine lip-reading, we propose a method which detects the
distinctive mouth shapes from Japanese-speaking images based on their
techniques. We define six mouth shapes as the distinctive mouth shapes, and the
mouth ...

Evaluation of Novel Approaches to Software Engineering

8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013. Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully reviewed and selected from 46 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and professionals related to evaluation of novel approaches to software engineering. By comparing novel approaches with established traditional practices and by evaluating them against software quality criteria, the ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends, and propose new directions for consideration by researchers and practitioners involved in large-scale software development and integration.

We assume that the quality of a method, particularly in terms of reliability,
depends also on the quality of the methods it collaborates with to perform its task.
In OO software systems, objects collaborate to achieve their respective
responsibilities.

Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies.

When a method call is reached, the target method is symbolically executed using
the given arguments. Therefore, if the program calls a given method several
times, the execution paths in that method will be re-analyzed for each call. The
key ...