Metabuscador

Filtrado por:

Temas

Recursos

Año

Aproximadamente 12 registro(s) hasta el momento: (base de datos)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

Tool support for verifying applications using object-oriented patterns
Aranda, Gabriela N. - Flores, Andrés P. - Buccella, Agustina - Reynoso, Luis A.

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Applying design patterns is considered a helpful technique for designing software systems. Patterns description, however, results not sufficiently precise providing a weak understanding and making it difficult to be certain when a pattern is being used correctly. We have formally…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Methods for measurement-based COTS assessments and selection
Cechich, Alejandra - Piattini Velthuis, Mario

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	During recent years, new software engineering paradigms like component-based software engineering and COTS-based development have emerged. Both paradigms are concerned with reuse and customisation of existing components. The use of COTS software has become more and more important in state-of-the-art…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

An extension to EMTPL
Cobo, María Laura - Falappa, Marcelo Alejandro

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The development of languages allowing a proper handling of time is important in many areas of computer science because the capability to deal with the notions of change and time are essential to solve their problems. In the development of…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

A framework for defining and checking constraints in requirement gathering and definition
Gómez, Rodolfo - Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Requirements capture user needs about a system [KG99]. They stand for those functional and nonfunctional attributes the system must posses to be considered correct. Requirements also dictate how the system should respond to user interaction. Therefore, they play a very…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Moodelling of processes and formal methods
Riesco, Daniel Eduardo - Montejano, Germán Antonio - Uzal, Roberto

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	We proposed her a technique, which can be employed within the methodology know as process reengineering. This technique was applied in a government environment, which included an Information System and Geographical Information System, developed with financial support from The World…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Analysis of two indexing structures for textual databases
Marín, Mauricio - Bonacic, Carolina - Casas, Sandra

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	This article describes strategies devised to improve the efficiency of two classical index data structures for parallel textual databases. The design and cost evaluation is effected on top of the bulk-synchronous model of parallel computing. This allows us to compare…
Fecha:	2012-10-29
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Formal specifications in component-based development
Estevez, Elsa Clara - Fillottrani, Pablo Rubén

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Software engineering has entered a new era, the Internet and its associated technologies require a different conceptual framework for building and understanding software solutions. Users ask to develop applications more rapidly, and software engineers need to ensamble systems from preexisting…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

A systematic approach to generate test cases based on combinations of information
Sánchez, Marisa - Felder, Miguel

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Software based systems incrementally provide critical services to users. Mobile telephone systems, for example, are used in circumstances in which the malfunctioning may have disastrous consequences. During the last years, software has been incorporated in devices used in daily life,…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

Project line: formally specifying the domain of balanced scorecard
Montejano, Germán Antonio - Uzal, Roberto - Riesco, Daniel Eduardo - Dasso, Aristides - Funes, Ana

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	In today’s world, in both the public or private organizations, there exists the problem that the organizations have to create value, are changing, but the tools to measure them are not. On the other hand, in the current economy, the…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

10.

Spectra in taxonomic evidence in databases III
Plastino, Ángel Luis - Orellana, Rosa Beatriz - Perichinsky, Gregorio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	Numerical Taxonomy aims to group in clusters, using so-called structure analysis of operational taxonomic units (OTUs or taxons or taxa) through numerical methods. These clusters constitute families. Structural analysis, based on their phenotypic characteristics, exhibits the relationships, in terms of…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

11.

Integrated environment of systems automated engineering
Servetto, Arturo Carlos - García Martínez, Ramón - Perichinsky, Gregorio

Formato:	Objeto de conferencia, Objeto de conferencia
Enlaces:	The Standardization of a development process for systems of medium complexity, entirely supported by an integrated development environment, could mean a double contribution to the industry of systems development. On the one hand it would contribute to the reduction of…
Fecha:	2012-10-02
Recurso:	Unversidad Nacional de La Plata

Recurso libre

12.

Word combinations as an important part or modern electronic dictionaries
Bolshakov, Igor Alekseevich - Gelbukh Khan, Alexander Felixovitch

Formato:	info:eu-repo/semantics/article
Enlaces:	Se dan argumentos a favor de que las colecciones de las combinaciones de palabras significativas en los diccionarios electrónicos modernos del uso general se deben extender en lo máximo posible. Igor Mel'cuk clasifica las combinaciones de palabras en frasemas completos,…
Fecha:	2007-09-12
Recurso:	RUA Docencia