PENGEMBANGAN APLIKASI PENGELOLAAN KARYA ILMIAH MAHASISWA DAN DOSEN BERBASIS TEKNOLOGI WEB
K. Setemen Setemen · Jurnal Sains dan Teknologi · 2015
Abstract onlyNot checked
Software
Filters2 filters applied
439 papersQuestions on this topic
Towards an automatic model transformation mechanism from UML state machines to DEVS models
Ariel González, Carlos Luna, Roque Cuello et al. · CLEI Electronic Journal · 2015
Abstract onlyNot checked
Obtaining and Visualization of the Topological Functioning Model from the UML Model
Ovchinnikova Viktoria · Applied Computer Systems · 2015
Abstract onlyNot checked
La interfaz de usuario como punto de partida para la creación automática de aplicaciones móviles – un enfoque basado en MDD
Pablo M. Vera, Claudia Pons, Carina S. González et al. · Revista Colombiana de Computación · 2015
Abstract onlyNot checked
USING FORMAL METHODS FOR TEST CASE GENERATION ACCORDING TO TRANSITION-BASED COVERAGE CRITERIA
Ahmad A. Saifan, Wafa Bani Mustafa · Jordanian Journal of Computers and Information Technology · 2015
Abstract onlyNot checked
Matching in the Pi-Calculus
Kirstin Peters, Tsvetelina Yonova-Karbe, Uwe Nestmann · Electronic Proceedings in Theoretical Computer Science · 2014
Abstract onlyNot checked
Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4
Matt Kaufmann, J Strother Moore · Electronic Proceedings in Theoretical Computer Science · 2014
Abstract onlyNot checked
DESENVOLVIMENTO DE UMA FERRAMENTA PARA MAPEAMENTO DE UM MODELO CONCEITUAL DE DADOS PARA UM BANCO DE DADOS ORIENTADO A OBJETOS
Janaína Iacia Silva, Aglaê Pereira Zaupa, Mário Augusto Pazoti · Colloquium Exactarum · 2014
Abstract onlyNot checked
Performing Implicit Induction Reasoning with Certifying Proof Environments
Sorin Stratulat, Amira Henaien · Electronic Proceedings in Theoretical Computer Science · 2013
Abstract onlyNot checked
Compiling symbolic attacks to protocol implementation tests
Michael Rusinowitch, Ghazi Maatoug, Hatem Ghabri · Electronic Proceedings in Theoretical Computer Science · 2013
Abstract onlyNot checked
Formalizing the Confluence of Orthogonal Rewriting Systems
Ana Cristina Rocha Oliveira, Mauricio Ayala-Rincón · Electronic Proceedings in Theoretical Computer Science · 2013
Abstract onlyNot checked
Data refinement for true concurrency
Brijesh Dongol, John Derrick · Electronic Proceedings in Theoretical Computer Science · 2013
Abstract onlyNot checked
ANALISIS SISTEM PENJUALAN ONLINE PADA PERUSAHAAN GARMENT DI SEMARANG
Tri Listyorini · Simetris: Jurnal Teknik Mesin, Elektro dan Ilmu Komputer · 2013
Abstract onlyNot checked
СОВРЕМЕННЫЕ МЕТОДЫ АНАЛИЗА И ОБРАБОТКИ ИНФОРМАЦИИ В СЛОЖНЫХ ИНФОРМАЦИОННЫХ СИСТЕМАХ
А. Атие · Holodilʹnaâ Tehnika i Tehnologiâ · 2013
Abstract onlyNot checked
Solving the TTC 2013 Flowgraphs Case with FunnyQT
Tassilo Horn · Electronic Proceedings in Theoretical Computer Science · 2013
Abstract onlyNot checked
Reducing Weak to Strong Bisimilarity in CCP
Andrés Aristizábal, Filippo Bonchi, Luis Pino et al. · Electronic Proceedings in Theoretical Computer Science · 2012
Abstract onlyNot checked
From Mathematics to Abstract Machine: A formal derivation of an executable Krivine machine
Wouter Swierstra · Electronic Proceedings in Theoretical Computer Science · 2012
Abstract onlyNot checked
Implementation of SQLite database support in program gama-local
Vaclav Petras · Geoinformatics FCE CTU · 2012
Abstract onlyNot checked
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories
Hanna Schölzel, Hartmut Ehrig, Maria Maximova et al. · Electronic Proceedings in Theoretical Computer Science · 2012
Abstract onlyNot checked
Using Constraints for Equivalent Mutant Detection
Simona Nica, Franz Wotawa · Electronic Proceedings in Theoretical Computer Science · 2012
Abstract onlyNot checked