Sebanyak 805 item atau buku ditemukan

Building Tightly Integrated Software Development Environments: The IPSEN Approach

This coherently written book is the final report on the IPSEN project on Integrated Software Project Support Environments devoted to the integration of tools for the development and maintenance of large software systems. The theoretical and application-oriented findings of this comprehensive project are presented in the following chapters: Overview: introduction, classification, and global approach; The outside perspective: tools, environments, their integration, and user interface; Internal conceptual modeling: graph grammar specifications; Realization: derivation of efficient tools, Current and future work, open problems; Conclusion: summary, evaluation, and vision. Also included is a comprehensive bibliography listing more than 1300 entries and a detailed index.

/LC 88/ P. Loucopoulos/R. Champion: Knowledge-Based Approach to
Requirements Engineering Using Method and Domain Knowledge, Knowledge-
Based Systems 1, 3 (1988). /LG 86/ B. Liskow/J. Guttag: Abstraction and
Specification in Program Development. Cambridge: MIT Press (1986). /LH 85/ D.
Luckham/F. W.v. Henke: An Overview of Anna, a Specification Language of Ada,
IEEE Software, 9-22(1985). /LH 89/ M. Lubars/M. Harandi: Addressing Software
Reuse through ...

Language Prototyping: An Algebraic Specification Approach

Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping, and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The accompanying software is freely available. Contents: PrefaceAn Overview of ASF+SDFThe Static Semantics of PascalA Kernel Object-Oriented LanguageTypechecking with Modular Error HandlingMulti-Level SpecificationsIncremental TypecheckingOrigin Tracking and Its ApplicationsSecond-Order Term Rewriting Specification of Static Semantics: An ExerciseOrigin Tracking for Higher-Order Term Rewriting Systems Readership: Software practitioners, graduate students and researchers in computer science. keywords:

This construct aids reuse of methods defined earlier and the maintenance of such
programs, since any modification to the inherited class is effective in all classes
that inherit it. However, neither the dynamic nor static semantics of KOOL are
dependent on the structure of the hierarchy itself. Rule [FO] removes the 'TV'
subclass of TV' construct by copying all instance variables and methods from the '
super class' TV to the (sub)class TV'. Methods and instance variables could get
multiply ...

Tradisi, kemodernan, dan metamodernisme

memperbincangkan pemikiran Mohammed Arkoun

Polemic on revaluation of traditions, modernization, etc. of Islam, initiated by Mohammed Arkoun; collection of articles.

t> c< Jika Quran dan agama Islam, sebagaimana saya katakan, pada prinsipnya
merupakan bidang subur bagi semiotika, itu sama sekali tidak berarti bahwa
bidang itu sudah mulai digarap ahli semiotika secara masai. Adalah suatu gejala
yang jelas bahwa, paling sedikit sejak periode lima ratus tahun lebih,
perkembangan-perkembangan baru dalam bidang ilmu pengetahuan lebih
cepat memasuki teologi Kristen dan penelitian mengenai agama dan masyarakat
Kristen daripada ...

بلوغ المرام من أدلة الأحكام

[Ahmad reported it. .j#i j£ >ui «u vi^f} 'Jj \fy iv/Jl VJ :i^-f Ilj JJ .w^Ji iis J>; ^ c^iJi VJ3
cji«3i ioii' ^i)j3 t,*,^**^1-^1 s,3j -!^3 f3*^3 2>J» :g| & J>^3 JU :J« U4* Jtf Ol ij& LiT
tii^-3 t/F ^ <*»"- •&' Ibn Khuzaima and Ibn Hibban graded it Sahih (sound)]. A. 11 '
The chain of narrators concerning this Hadith includes 'Ala bin Zuhair, who in
addition to having insubstantial, is also accused of being an untruthful person.
Imam Ibn Taimiyah maintains that there is nothing but a 'congeries of lie' about
the ...

Attainment of the Objective According to Evidence of the Ordinances

$13 Júš. # G J. & 2, #3: 34 (rev) .#3 A4 4 × 3.3% & 3 ge * &#3 &#4 #3, #3 £32.3 * :
* : *:#; 3: ā Ś .# *# 3: 3: S < *śjū; * > * : * crer) 3, # # J% Jú Jú u: Jú 3 # us 42% jj; 3
4-4 di <! #3, #2: &# * ~ * ~ * &: 4-23 "The chain of narrators concerning this Hadith
includes 'Ala bin Zuhair, who in addition to having insubstantial, is also accused
of being an untruthful person. Imām Ibn Taimiyah maintains that there is nothing
but a “congeries of lie about the Prophet A-, ... an A-. It is stated in Sahihain on ...

Anjing penjaga

pers di rumah Orde Baru

Freedom of the press in Indonesia, press conditions, and language in newspapers; artiles.

Itu teorinya. Secara singkat, kekuasaan dimaknai sebagai kemampuan untuk
menghidupi segala sesuatu.20 Untuk menumbuhkan kolam susu. Membuat kayu
dan batu jadi tanaman. Semacam itu. Presiden Soeharto mendapatkan
keabsahan kekuasaan secara otomatis dengan suksesnya mempertahankan
jabatan selama ini. Seperti yang sudah didengar semua orang, satu sosok "anak
desa" yang bisa naik ke pucuk kekuasaan negara pastilah punya "sesuatu".
Sebuah "wahyu".

Pemberontakan Tentara Peta di Cileunca, Pangalengan, Bandung Selatan

History of the revolt of the Peta Army against the Japanese, at Cileunca, West Java, Indonesia, May 4, 1945.

Kemerdekaan Indonesia akan melepaskan Indonesia sebagai Lebensraum
tujuan perangnya, hilang dari tangan Tentara Jepang. Sampai dengan proses
dilaksanakannya pengadilan, 16 April 1945, atas pelaku Pemberontakan
Tentara Peta Blitar (15 Februari 1945), diikuti pula dengan meletusnya
Pemberontakan Tentara Peta Cilacap (21 April 1945), BPUPKI hanya baru
merupakan pengumuman akan dibentuk, belum terwujud. Tetapi setelah adanya
Pemberontakan Tentara ...