Avaliação do grau de importância dos atributos da qualidade de software definidos pela norma ISO 9126 sob a ótica do produtor rural

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desenvolvimento de um software de apoio ao ensino de métodos de planejamento e controle da produção em ambientes MTS baseado na teoria das restrições

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

O uso de software para estudo de seletividade e coordenação

The present work aims to prepare a study of selectivity and coordination in an isolated electrical system with the aid of computer software PTW (Power Tools for Windows). Based on appropriate protection standards, on equipment data and the survey of the curves of “time versus current” (Time Current Curve – TCC), may be defined protection settings to leave the system selective, coordinated and properly protected. Definitions of adjustments are made taking into account the data of, so called, thermal curves of the equipment, which take into account the rated current and the supportability of short-circuit current of the equipment and cables involved in the installation in question. For that we use the tools provided by the PTW in which an industrial electrical circuit is simulated, presenting and discussing the results. With that validates the software PTW, taking it as a great tool helper implementation the coordination and selectivity study

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

Indian IT software engineers in Japan : a preliminary analysis

In this study, the work and life of Indian IT engineers in Japan engaged in software development were examined through a questionnaire survey. Findings were further supported by comparative analyses with Chinese and Korean software engineers. While Indian IT software engineers appeared rather satisfied with their life overall in Japan, they seemed rather dissatisfied with their work conditions including such things as fringe benefits, the working-time management of the company, levels of salary and bonuses, and promotion opportunities. It was made clear that profiles and perceptions of Indian engineers and those of Chinese and Koreans in Japan were different.

The road to successful ITS software acquisition: software acquisition process reference guide.

Federal Highway Administration, Arlington, Va.

Financial planning in transit: use of commercially available microcomputer software. Final report.

Urban Mass Transportation Administration, Washington, D.C.

Wide Area Detection System (WADS) - breadboard software description and field test results. Final report.

Federal Highway Administration, Washington, D.C.

Ruggedized minicomputer hardware and software topics, 1981 : proceedings of a conference held in San Diego, California, February 22-25, 1981.

"The Fourth ROLM MIL-SPEC Users Group Conference"--Pref.

Advanced filtering and prediction software for urban traffic control systems. Final report.

Transportation Department, Office of University Research, Washington, D.C.

Hardware/software compatibility for traffic management/IVHS systems.

Texas Department of Transportation, Austin

Analysis of head response to torso acceleration. Volume II - description of data retrieval, analysis and display software. Final report.

Transportation Systems Center, Cambridge, Mass.

Signals, traffic software, and lighting: courses and basic references.

Mode of access: Internet.

Waveform generator signal processing software. Final report.

National Highway Traffic Safety Administration, Office of Research and Development, Washington, D.C.

Fuel consumption study. Urban traffic control system (UTCS) software support project. Final report.

Federal Energy Administration, Office of Transportation Policy and Research, Washington, D.C.