1,267 research outputs found

    A conceptual model for megaprogramming

    Get PDF
    Megaprogramming is component-based software engineering and life-cycle management. Magaprogramming and its relationship to other research initiatives (common prototyping system/common prototyping language, domain specific software architectures, and software understanding) are analyzed. The desirable attributes of megaprogramming software components are identified and a software development model and resulting prototype megaprogramming system (library interconnection language extended by annotated Ada) are described

    RICIS Software Engineering 90 Symposium: Aerospace Applications and Research Directions Proceedings Appendices

    Get PDF
    Papers presented at RICIS Software Engineering Symposium are compiled. The following subject areas are covered: flight critical software; management of real-time Ada; software reuse; megaprogramming software; Ada net; POSIX and Ada integration in the Space Station Freedom Program; and assessment of formal methods for trustworthy computer systems

    Pengaruh Model Pembelajaran Thinking Aloud Pair Problem Solving (TAPPS) Terhadap Kemampuan Berpikir Kritis Matematis Siswa Berbantuan Kartu Domino

    Get PDF
    Rendahnya kemampuan berpikir kritis siswa pada pelajaran matematika merupakan salah satu penyebab kesulitan siswa dalam memahami dan menyelesaikan permasalahan dalam materi limit fungsi aljabar. Oleh karena itu, kemampuan berpikir kritis sangat penting untuk dimiliki oleh siswa. Penelitian ini bertujuan untuk mengetahui pengaruh model pembelajaran Thinking Aloud Pair Problem Solving (TAPPS) terhadap kemampuan berpikir kritis matematis siswa berbantuan kartu domino lebih baik daripada pembelajaran konvensional pada materi limit fungsi aljabar di kelas XI SMA Negeri 2 Bireuen. Pendekatan yang dilakukan adalah pendekatan kuantitatif dengan jenis penelitian quasi experimental. Desain penelitian yaitu Nonequivalent Control Group Design. Populasi dalam penelitian ini adalah seluruh siswa kelas XI SMA Negeri 2 Bireuen yang terdiri dari 9 kelas, sedangkan yang menjadi sampel yaitu kelas XI MIA 1 dan kelas XI MIA 2. Sampel diambil dengan menggunakan teknik purposive sampling. Berdasarkan hasil analisis data data menggunakan uji independent sample t-test maka diperoleh nilai Sig. (2-tailed) yaitu sebesar 0.000. Hal ini menunjukkan bahwa nilai Sig. (2-tailed) kurang dari 0.05 maka H0 ditolak, artinya pengaruh model pembelajaran Thinking Aloud Pair Problem Solving (TAPPS) terhadap kemampuan berpikir kritis matematis siswa berbantuan kartu domino lebih baik daripada pembelajaran konvensional pada materi limit fungsi aljabar di kelas XI SMA Negeri 2 Bireuen

    Penggunaan Software Geogebra Classic Pada Mata Pelajaran Matematika (Program Linear)

    Get PDF
    Geogebra classic as it is known today can be run through various platforms. At the beginning of the introduction and development of GeoGebra, I learned about the Makassar City Mathematics MGMP training being held by the Directorate General of the Republic of Indonesia in South Sulawesi in 2021. At that time, Geogebra Classic was only introduced as a free mathematics software that could be run via the Windows operating system. In its development, GeoGebra Classic has undergone many changes, especially now that it can be used on various platforms. At the beginning of its development, GeoGebra Classic was only used for two-dimensional geometry and algebra material. But now, GeoGebra Classic can be used for three-dimensional geometry with other capabilities. Geogebra classic that is used today is geogebra classic. Geogebra classic was originally known as geogebra 5, then geogebra 6. At the time this article was written, it was known as geogebra classic. At present, the compression of computer programs in learning mathematics is a necessity and is a mandatory requirement for students at both the elementary, secondary, and tertiary levels today. There are lots of computer programs and Android phones that can be used in learning mathematics, including the GeoGebra application. Geogebra classic is a dynamic program with a variety of facilities that are very useful for students, especially on the subject of linear programming, and can be used as a medium for learning mathematics. In addition, Geogebra classic can be used to demonstrate or visualize mathematical concepts as well as tools to construct these concepts. With this program, abstract mathematical objects can be visualized and manipulated quickly and efficiently

    The Business Model of Free Software: Legal Myths and Real Benefits

    Get PDF
    International audienceFree Software is the term coined by Richard Stallman in 1983 to denote programs whose sources are available to whoever receives a copy of the software and come with the freedom to run, copy, distribute, study, change and improve the software.As Richard Stallman’s concept grew in popularity, and with the subsequent advent of GNU/Linux, Free Software has received a great deal of attention and media publicity. With attention and publicity came expectations as well as a number of legal myths and confusions.The objective of this article is to clarify some of these legal misunderstandings while explaining how the legal fundamentals on which Free Software is based allow for a long-lasting business model based on a special kind of expertise-based support that benefits customers and guarantees the creation of a local pool of expertise.This article is based on our experience with GNAT Pro. GNAT Pro is the Free Software development environment for the Ada 95 programming language. It comprises a compiler that is part of GCC (the GNU Compiler Collection), a toolset and graphical Integrated Development Environment, and a set of supporting libraries.Developing, maintaining, and marketing GNAT Pro for ten years have provided significant experience with both technical and non-technical aspects of Free Software. This article summarizes the principal legal and business lessons learned

    Perancangan panduan desain produk fesyen untuk mata kuliah berbasis studio di masa pandemi Covid 19: Studi kasus mata kuliah Visual Study di Universitas Ciputra

    Get PDF
    The Covid 19 pandemic has an impact on the studio-based learning process as well as on the Visual Study course, which is one of the core courses in the Fashion Product Design study program in Universitas Ciputra Surabaya. The course has learning outcomes, that is ‘students are able to independently design creative and distinctive fashion works by applying fashion design methods through in-depth visual observation, direct and indirect exploration’. Apart from the absence of direct field observations, the concept of studio-based learning with active learning methods with lots of interactions between teachers and students cannot be done at this time. The design of a guide is needed to assist students in designing fashion products so that the learning outcomes of this course can be achieved. Qualitative descriptive research with digital ethnography was carried out in this study in order to respond directly to the Covid 19 pandemic which has an impact on design-based and studio-based learning. The results of this study are a lesson plan, design guide, and a learning management system which is the result of a needs assessment and is evaluated at the end of the semester to see the success of the designed guide

    English

    Get PDF
    In modern today, people compete to beautify themselves since being beauty has become a primary needs for every woman, even for a man. Besides for personal reason such as taking care of themselves, very often because it is caused by demands of work that requires fine appearance. For now, there are lots of beauty products that are easily obtained from online or offline markets. To support each products, each company needs certain marketing technique to attract consumers. This research aims to investigate language style used in some advertisements for Indonesian beauty products. There were total of 10 advertisements of 5 Indonesian beauty brands investigated in this study. Researchers used note-taking as an instrument and applied purposive sampling technique.  Result of this study reveals that from several language style found in those advertisements, hyperbole appeared the most with 33 times appearance. Hyperbole is a kind of figure of speech that conceive heightened impact through the using, or even repetition, of purposeful exaggeration. This language style is often boldly overstated claims to emphasize things. Thus, most of beauty brands by locals investigated in this study used hyperbolic technique to advertise their products.Di zaman modern seperti sekarang, orang berkompetisi untuk mempercantik diri karena hal ini sudah menjadi kebutuhan primer bagi setiap wanita. Bahkan kondisi ini berlaku juga pada pria. Selain karena alasan pribadi seperti mempercantik diri, pertimbangan lain karena pekerjaan yang menuntut sseorang untuk berpenampilan menarik. Saat ini, banyak produk kecantikan yang diproduksi dan mudah di dapatkan dari pasar online maupun offline. Untuk mempromosikan produk mereka, setiap perusahaan membutuhkan teknik pemasaran tertentu untuk menarik minat konsumen. Penelitian ini bertujuan untuk mengetahui gaya bahasa yang digunakan beberapa iklan dari produk kecantikan asal Indonesia dalam memasarkan brand-nya. Ada total 10 iklan dari 5 brand produk kecantikan asal Indonesia yang diinvesitigasi dalam penelitian ini. Peneliti menggunakan note-taking sebagai instrumen dan menerapkan teknik purposive sampling. Hasil penelitian ini menunjukkan bahwa dari beberapa gaya bahasa yang terdapat dalam iklan tersebut, gaya bahasa hiperbola paling banyak ditemukan dengan 33 kali kemunculan. Hiperbola adalah jenis kiasan yang mengandung dampak melalui penggunaan, atau bahkan pengulangan yang berlebihan yang disengaja. Gaya bahasa ini seringkali dengan berani melebih-lebihkan klaim untuk menekankan sesuatu. Oleh karena itu, sebagian besar merk kecantikan lokal yang diteliti dalam penelitian ini menggunakan teknik hiperbolik untuk mengiklankan produknya

    Analisis Kesalahan Perubahan Bunyi Bahasa Indonesia pada Tuturan Mahasiswa BIPA Tingkat Pemula di Universitas Muhammadiyah Malang

    Get PDF
    This study aims to describe the form of sound change symptoms and the factors that cause sound changes. This study uses a descriptive qualitative approach. The research data is based on learning speaking skills for 9 meetings from 12 meetings with a duration of 30 minutes. The source of research data is based on the results of Zoom video recordings of the speaking learning process for BIPA students at the beginner level, totaling 1 student from Egypt and 2 students from Uzbekistan. The data collection technique used is the technique of recording, listening, and taking notes. The data analysis used is error analysis. The results obtained were found data forms of assimilation changes, data forms of vocal modifications, data forms of anapticsis sound epenthesis, data forms anapticsis sound paragog, data forms zeroization of syncope sounds, data forms zeroization of apocope sounds, data forms monophthong changes, lenisi form data. The factors that cause changes in sound assimilation, vocal modification, anaptiksis, zeroization, monophthong, and lenisi, so that educators can provide special training to students from Egypt and Uzbekistan in learning speaking skills. The impact of these sound changes resulted in differences in meaning and improper pronunciation.Penelitian ini bertujuan untuk mendeskripsikan bentuk kesalahan perubahan bunyi dan faktor penyebab terjadinya perubahan bunyi. Penelitian ini menggunakan pendekatan kualitatif deskriptif. Data penelitian didasarkan pada pembelajaran keterampilan berbicara selama 9x pertemuan dari 12x pertemuan dengan durasi 30 menit. Sumber data penelitian didasarkan pada hasil rekaman video Zoom Meeting proses pembelajaran berbicara mahasiswa BIPA tingkat pemula berjumlah 1 mahasiswa asal Mesir dan 2 mahasiswa asal Uzbekistan. Teknik pengumpulan data yang digunakan adalah teknik rekam, simak, dan catat. Analisis data yang digunakan ialah analisis kesalahan (error). Hasil penelitian yang didapat yaitu, kesalahan perubahan bunyi ditemukan data bentuk perubahan asimilasi, data bentuk modifikasi vokal, data bentuk anaptiksis bunyi epentesis, data bentuk anaptiksis bunyi paragog, data bentuk zeroisasi bunyi sinkope, data bentuk zeroisasi bunyi apokope, data bentuk perubahan monoftong, data bentuk lenisi. Ditemukan faktor penyebab terjadinya perubahan bunyi asimilasi, modifikasi vokal, anaptiksis, zeroisasi, monoftong, dan lenisi, sehingga pendidik dapat memberikan latihan secara khusus kepada mahasiswa asal Mesir dan Uzbekistan dalam pembelajaran keterampilan berbicara. Dampak dari perubahan bunyi tersebut mengakibatkan perbedaan arti dan pengucapan yang tidak tepat

    Building consensus for Ada 9X

    Get PDF
    Language design is a most difficult task. While the original design of a language has the distinct advantage of filling a blank page, the revision of a language needs to abide by a number of constraints that limit the degree of design freedom. These constraints are both of a technical and a nontechnical nature. In a language revision, each desired change has both a benefit and a cost. Deciding which changes to incorporate into the language becomes a cost/benefit analysis within the framework of the existing constraints. In this article, we will explore some of these constraints and their impact on the Ada 9X revision process
    • …
    corecore