From SMART to agent systems development

n order for agent-oriented software engineering to prove effective it must use principled notions of agents and enabling specification and reasoning, while still considering routes to practical implementation. This paper deals with the issue of individual agent specification and construction, departing from the conceptual basis provided by the smart agent framework. smart offers a descriptive specification of an agent architecture but omits consideration of issues relating to construction and control. In response, we introduce two new views to complement smart: a behavioural specification and a structural specification which, together, determine the components that make up an agent, and how they operate. In this way, we move from abstract agent system specification to practical implementation. These three aspects are combined to create an agent construction model, actsmart, which is then used to define the AgentSpeak(L) architecture in order to illustrate the application of actsmart.

Judicial system performance and economic development

The role of judicial systems in determining economic perfonnance has gained increasingly attention in recent years. Nonetheless, the literature lacks a clearly articulated framework to examine how judicial systems influence the investment and production decisions of economic agents. This paper tries to till in this gap. It examines what constitutes a well-functioning judiciary, analyzes how dysfunctional judicial systems compromise economic growth, and reviews the relevant empirical literature. It concludes with some remarks about why, despite the widespread perception that well-functioning legal and judicial systems are key to the success of market-oriented reforms in developing and transition countries, judicial refonn has lagged so much behind other reforms.

An evaluation of the Business Model Canvas by technology-oriented startups in Brazil : a qualitative study about the usage of the tool by Brazilian entrepreneurs

The following paper was conducted with the support of several entrepreneurs and startups from Brazil. The aim of the research was to find out which impact the Business Model Canvas, further abbreviated as BMC, has on technology-oriented startups in Brazil. The first step of the study was identify some general concepts of entrepreneurship, as well as the conditions and environment of the country. Afterwards, it was focused on defining and comparing different business model tools and concepts to the BMC. After the literature review and meeting with several professionals in the area of entrepreneurship and startups, a questionnaire was formulated in order to conduct the qualitative study and identify the main impact of the tool. The questionnaire was answered by ten startups. In order to check the validity and credibility of the research outcomes, theory and investigator triangulation was used. As a result, the usage of the BMC could be evaluated by obtaining the outcomes and the theory, which showed that Brazilian tech startups are using Osterwalder’s model for the reason of idea creation and testing, validating and pivoting their business model. Interestingly, the research revealed that the entrepreneurs are using the tool often not in the traditional way of printing it, but rather applying it as a thinking approach. Besides, the entrepreneurs are focusing mostly on developing a strong Value Proposition, Customer Segment and sustainable Revenue Streams, while afterwards the remaining building blocks are built. Moreover, the research showed that the startups are using also other concepts, such as the Customer Development Process or Build-Measure-Learn Feedback Loop. These methodologies are often applied together with the BMC and helps to identify the most sustainable components of the business idea. Keywords: Business

Economic stagnation and alternative development strategies

The focus of my paper is the presentation of some thoughts on overcoming economic stagnation, with reference to the case of Mexico. In Section 2, I will describe the reasons why the policies of financial opening based on the Washington Consensus create endogenous tendencies toward economic stagnation and overvaluation of currencies. Section 3 offers a concise outline of a possible alternative development project for Mexico. Section 4 presents some proposals regarding monetary, foreign exchange, and fiscal policy oriented toward reviving economic growth. Finally, in Section 5, I present some conclusions.

A JML-Based strategy for incorporating formal specifications into the software development process

This thesis presents a JML-based strategy that incorporates formal specifications into the software development process of object-oriented programs. The strategy evolves functional requirements into a “semi-formal” requirements form, and then expressing them as JML formal specifications. The strategy is implemented as a formal-specification pseudo-phase that runs in parallel with the other phase of software development. What makes our strategy different from other software development strategies used in literature is the particular use of JML specifications we make all along the way from requirements to validation-and-verification.

Transparent access to relational, autonomous and distributed databases using semantic web and service oriented technologies

With the constant grow of enterprises and the need to share information across departments and business areas becomes more critical, companies are turning to integration to provide a method for interconnecting heterogeneous, distributed and autonomous systems. Whether the sales application needs to interface with the inventory application, the procurement application connect to an auction site, it seems that any application can be made better by integrating it with other applications. Integration between applications can face several troublesome due the fact that applications may not have been designed and implemented having integration in mind. Regarding to integration issues, two tier software systems, composed by the database tier and by the “front-end” tier (interface), have shown some limitations. As a solution to overcome the two tier limitations, three tier systems were proposed in the literature. Thus, by adding a middle-tier (referred as middleware) between the database tier and the “front-end” tier (or simply referred application), three main benefits emerge. The first benefit is related with the fact that the division of software systems in three tiers enables increased integration capabilities with other systems. The second benefit is related with the fact that any modifications to the individual tiers may be carried out without necessarily affecting the other tiers and integrated systems and the third benefit, consequence of the others, is related with less maintenance tasks in software system and in all integrated systems. Concerning software development in three tiers, this dissertation focus on two emerging technologies, Semantic Web and Service Oriented Architecture, combined with middleware. These two technologies blended with middleware, which resulted in the development of Swoat framework (Service and Semantic Web Oriented ArchiTecture), lead to the following four synergic advantages: (1) allow the creation of loosely-coupled systems, decoupling the database from “front-end” tiers, therefore reducing maintenance; (2) the database schema is transparent to “front-end” tiers which are aware of the information model (or domain model) that describes what data is accessible; (3) integration with other heterogeneous systems is allowed by providing services provided by the middleware; (4) the service request by the “frontend” tier focus on ‘what’ data and not on ‘where’ and ‘how’ related issues, reducing this way the application development time by developers.

Maude Object-Oriented Action Tool

MAIDL, André Murbach; CARVILHE, Claudio; MUSICANTE, Martin A. Maude Object-Oriented Action Tool. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2008.

AC Biosusceptometry as a Tool for Monitoring the Gastrointestinal Transit of Multiparticulate Drug Delivery System

Drug delivery systems based on natural polysaccharides, such as chitosan (CS) and pectin (PC), rather than on synthetic polymers, have been widely studied. Some reasons for that are low toxicity and costs and high biodegradability of the formers. A multiparticulate system based on CS and PC was developed in our laboratories, including the addition of an enteric polymer, cellulose acetate phtalate (CAP). Such improvement promoted stronger gastric and enteric resistances, as assessed in vitro, making the systems more selective to enzymatic degradation in the colon. Although in vitro dissolution tests can simulate some properties concerning the gastrointestinal transit (GT), collaborating to characterize the systems behavior in the biological fluids, frequently they do not result in satisfactory in vitro/in vivo correlations. The objective of this work was to follow in vivo the GT of the particles developed by means of AC biosusceptometry (ACB), a non-invasive and of low cost methodology. The particles containing ferrite in powder form were prepared by complex coacervation using an ideal 3:1:1 mass ratio for PC:CS:CAP. The magnetic particles were administered to healthy volunteers by oral route. The GT was monitored by using multi-sensor ACB system and the signal acquisition was performed every IS min until the colonic region was reached. By means of ACB technique, it was possible to acquiring images generated by the magnetic particles within the whole gastrointestinal tract including the colonic region. Variable particles transit times were observed among the volunteers, but without interference on the mapping of the particles until the colonic region. The particles were able to produce magnetic field strong enough to generate signals adequate for mapping the particles. The results suggest that integral particles reached the colon, after they resisted against gastric and enteric media. Studies associating transit time and in vivo drug release are in development in order to confirm the efficiency of the systems.

Gastrointestinal transit and disintegration of enteric coated magnetic tablets assessed by ac biosusceptometry

The oral administration is a common route in the drug therapy and the solid pharmaceutical forms are widely used. Although much about the performance of these formulations can be learned from in vitro studies using conventional methods, evaluation in vivo is essential in product development. The knowledge of the gastrointestinal transit and how the physiological variables can interfere with the disintegration and drug absorption is a prerequisite for development of dosage forms. The aim of this work was to employing the ac biosusceptometry (ACB) to monitoring magnetic tablets in the human gastrointestinal tract and to obtain the magnetic images of the disintegration process in the colonic region. The ac biosusceptometry showed accuracy in the quantification of the gastric residence time, the intestinal transit time and the disintegration time (DT) of the magnetic formulations in the human gastrointestinal tract. Moreover, ac biosusceptometry is a non-invasive technique, radiation-free and harmless to the volunteers, as well as an important research tool in the pharmaceutical, pharmacological and physiological investigations. (c) 2005 Elsevier B.V. All rights reserved.

Structural reforms, technological gaps and economic development: a Latin American perspective

Includes bibliography

A case study of concurrent engineering application on the development of parts for the white goods industry in Brazil

This classical way to manage product development processes for massive production seems to be changing: high pressure for cost reduction, higher quality standards, markets reaching for innovation lead to the necessity of new tools for development control. Into this, and learning from the automotive and aerospace industries factories from other segments are starting to understand and apply manufacturing and assembly oriented projects to ease the task of generate goods and from this obtain at least a part of the expected results. This paper is intended to demonstrate the applicability of the concepts of Concurrent Engineering and DFM/DFA (Design for Manufacturing and Assembly) in the development of products and parts for the White Goods industry in Brazil (major appliances as refrigerators, cookers and washing machines), showing one case concerning the development and releasing of a component. Finally is demonstrated in a short term how was reached a solution that could provide cost savings and reduction on the time to delivery using those techniques.

Economic policy, institutions and productive development in Latin America

Includes bibliography

Youth, population and development in Latin America and the Caribbean: summary and conclusions

Includes bibliography

Development social policy for youth with special reference to young men in Saint Lucia

Includes bibliography

The development of science and technology indicators in the Caribbean

Includes bibliography