Linguagens Declarativas
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Component assembly and theorem proving in constraint handling rules
Devido à grande demanda por softwares cada vez mais robustos, complexos e flexÃveis, e, sobretudo, pelo curtÃssimo tempo de entrega exigido, a engenharia de software tem procurado novos meios de desenvolvimento que supram satisfatoriamente essas demandas. Uma forma de galgar esses novos patamares de produtividade provÃm do uso de uma metodologia baseada
Publicado em: 2009
-
2. Um modelo não procedural de especificação e implementação voltado a sistemas transacionais em banco de dados / A non-procedural model to specifying and implementing database transactions systems
Esta tese de doutorado apresenta um modelo de especificação, textual e grafico, para sistemas transacionais em banco de dados (ER/T+) e, também, um modelo de implementação desta especificação. Sugere uma técnica de proceduralização de especificações declarativas, usando um grafo de dependencia de fluxos de dados para estabelecer a relação de pr
Publicado em: 2007
-
3. LAWML: A LANGUAGE FOR MODELING INTERACTION LAWS IN OPEN MULTI-AGENT SYSTEMS / LAWML: UMA LINGUAGEM PARA A MODELAGEM DE LEIS DE INTERAÇÃO EM SISTEMAS MULTI-AGENTES ABERTOS
O paradigma de agentes surgiu visando atender à necessidade de novas abstrações para o desenvolvimento de sistemas complexos e distribuídos. Para lidar com a mprevisibilidade do comportamento dos sistemas multi-agentes abertos, que são sistemas concorrentes e assíncronos formados por diversos agentes que agem com certo grau de autonomia e que podem int
Publicado em: 2007
-
4. X-SMIL: AUMENTANDO REUSO E EXPRESSIVIDADE EM LINGUAGENS DE AUTORIA HIPERMÍDIA / X-SMIL: IMPROVING REUSE AND EXPRESSIVENESS IN HYPERMEDIA AUTHORING LANGUAGES
Este trabalho está inserido no contexto de ambientes de autoria e execução hipermídia, sendo as linguagens declarativas para autoria de documentos o seu foco principal. Tendo-se como objetivo aumentar a expressividade e o reuso na especificação de documentos hipermídia, este trabalho introduz as linguagens XSMIL e NCL - Nested Context Language - vers�
Publicado em: 2005
-
5. Developing user interfaces for portable devices with declarative languages and web techonologies / Linguagens declarativas e tecnologias da web no desenvolvimento de interfaces de usuario de dispositivoss portateis
This work describes several problems related to user interface development that currently affect the industry of portable devices. We present a brief comparison between existing declarative languages based on XML related to user interface specification. We propose the use of XForms and CSS as an alternative to the current approach. In order to validate the p
Publicado em: 2005
-
6. RELATIONS IN HYPERMEDIA AUTHORING LANGUAGES: IMPROVING REUSE AND EXPRESSIVENESS / RELAÇÕES EM LINGUAGENS DE AUTORIA HIPERMÍDIA: AUMENTANDO REUSO E EXPRESSIVIDADE
Este trabalho está inserido no contexto de ambientes de autoria e execução hipermídia, sendo as linguagens declarativas para autoria de documentos o seu foco principal. Partindo de um estudo sobre linguagens de descrição de arquitetura (ADL), utilizadas para especificar arquiteturas de sistemas de software, esta tese identificou facilidades presentes e
Publicado em: 2003