Modelinės architektūros naudojimas kuriant komponentines programų sistemas
Vaidas Giedrimas · Informacijos Mokslai · 2009
Abstract onlyNot checked
Software
Filters3 filters applied
265 papersQuestions on this topic
Phantom Types and Subtyping
Matthew Fluet, Riccardo Pucella · 2006
Abstract onlyNot checked
Proof rules for purely quantum programs
Yuan Feng, Runyao Duan, Zhengfeng Ji et al. · 2006
Abstract onlyNot checked
The Workshop - Implementing Well Structured Enterprise Applications
A. Wiesmaier, V. Karatsiolis, M. Lippert et al. · Proceedings of "The 2005 International Conference on Software Engineering Research and Practice"; June 2005 · 2005
Abstract onlyNot checked
Enhancing the Alloy Analyzer with Patterns of Analysis
William Heaven, Alessandra Russo · 15th Workshop on Logic Programming Environments (WLPE05), Sitges (Barcelona), Spain, 2005 · 2005
Abstract onlyNot checked
Improved Inference for Checking Annotations
Peter J Stuckey, Martin Sulzmann, Jeremy Wazny · 2005
Abstract onlyNot checked
Effective Requirements Generation: Synchronizing Early Verification & Validation, Methods and Method Selection Criteria
Lester Lobo, James D. Arthur · 2005
Abstract onlyNot checked
A Generic Framework for the Analysis and Specialization of Logic Programs
German Puebla, Elvira Albert, Manuel Hermenegildo · 2005
Abstract onlyNot checked
Local and Global Analysis: Complementary Activities for Increasing the Effectiveness of Requirements Verification and Validation
Lester Lobo, James D. Arthur · 2005
Abstract onlyNot checked
Data-Structure Rewriting
Dominique Duval, Rachid Echahed, Frederic Prost · 2005
Abstract onlyNot checked
Measuring Woody: The Size of Debian 3.0
Juan Jose Amor, Gregorio Robles, Jesus Gonzalez-Barahona · 2005
Abstract onlyNot checked
Software Architecture Overview
Andre Adrian · 2005
Abstract onlyNot checked
An Efficient and Flexible Engine for Computing Fixed Points
Hai-Feng Guo, Gopal Gupta · 2005
Abstract onlyNot checked
Extending Prolog with Incomplete Fuzzy Information
Susana Munoz-Hernandez, Claudio Vaucheret · 2005
Abstract onlyNot checked
Systematic Method for Path-Complete White Box Testing
Hanna Makaruk, Robert Owczarek, Nikita Sakhanenko · 2005
Abstract onlyNot checked
Testing Systems of Concurrent Black-boxes--an Automata-Theoretic and Decompositional Approach
Gaoyan Xie, Zhe Dang · 2005
Abstract onlyNot checked
Haskell's overlooked object system
Oleg Kiselyov, Ralf Laemmel · 2005
Abstract onlyNot checked
Fast Recompilation of Object Oriented Modules
Jerome Collin, Michel Dagenais · 2005
Abstract onlyNot checked
A Model-driven Approach for Grid Services Engineering
David Manset, Richard McClatchey, Flavio Oquendo et al. · 2005
Abstract onlyNot checked
Under-approximation of the Greatest Fixpoints in Real-Time System Verification
Farn Wang · 2005
Abstract onlyNot checked