To see the other types of publications on this topic, follow the link: Informix software.

Journal articles on the topic 'Informix software'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 journal articles for your research on the topic 'Informix software.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

1

Gerber, Bob. "Informix online XPS." ACM SIGMOD Record 24, no. 2 (May 22, 1995): 463. http://dx.doi.org/10.1145/568271.223877.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

James, K. R., M. G. Jones, and D. J. Mikkelsen. "Informix database management software in the clinical chemistry laboratory." Clinical Chemistry 33, no. 6 (June 1, 1987): 1077–78. http://dx.doi.org/10.1093/clinchem/33.6.1077a.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Davison, Wayne. "Parallel index building in Informix OnLine 6.0." ACM SIGMOD Record 21, no. 2 (June 1992): 103. http://dx.doi.org/10.1145/141484.130303.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Weininger, Andreas. "Handling very large databases with informix extended parallel server." ACM SIGMOD Record 29, no. 2 (June 2000): 548–49. http://dx.doi.org/10.1145/335191.335465.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ran, Qing Yun, and Jie Zhang. "Comparative Study on Currently Popular Network Databases." Applied Mechanics and Materials 380-384 (August 2013): 2629–32. http://dx.doi.org/10.4028/www.scientific.net/amm.380-384.2629.

Full text
Abstract:
With the continuous expansion of the amount of data resources, network databases are becoming increasingly critical to the development of enterprises. This paper is a comparative analysis and study on the basic information, characteristics and performance of the currently popular network databases, mainly including Oracle, DB2 of IBM, Informix Dynamic Server products, Adaptive Server of Sybase and SQL Server of Software.
APA, Harvard, Vancouver, ISO, and other styles
6

Roussev, Borislav, and Yvonna Rousseva. "Software Development: Informing Sciences Perspective." Issues in Informing Science and Information Technology 1 (2004): 0237–45. http://dx.doi.org/10.28945/734.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Daily, K., and D. Dresner. "Towards software excellence?informal self-assessment for software developers." Software Process: Improvement and Practice 8, no. 3 (July 2003): 157–68. http://dx.doi.org/10.1002/spip.177.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

VILLER, STEPHEN, and IAN SOMMERVILLE. "Ethnographically informed analysis for software engineers." International Journal of Human-Computer Studies 53, no. 1 (July 2000): 169–96. http://dx.doi.org/10.1006/ijhc.2000.0370.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Robinson, Hugh, Judith Segal, and Helen Sharp. "Ethnographically-informed empirical studies of software practice." Information and Software Technology 49, no. 6 (June 2007): 540–51. http://dx.doi.org/10.1016/j.infsof.2007.02.007.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Leonardo, Sandra Bergamini, Milton Carlos Farina, Taís Pasquotto Andreoli, and Ana Paula Morais Boteon de Lima. "Relacionamentos Interpessoais Formal e Informal: Interação das Redes no Ambiente Acadêmico." Revista de Administração Contemporânea 23, no. 3 (June 2019): 395–415. http://dx.doi.org/10.1590/1982-7849rac2019180045.

Full text
Abstract:
Resumo A literatura acadêmica apresenta conceitos que são explorados pelo seu aspecto formal e informal. Também enfatiza que os relacionamentos interpessoais informais complementam e contribuem de forma sinérgica com os relacionamentos formais que ocorrem nas diversas atividades humanas. Alguns autores estudaram a similaridade entre as partes formal e informal, outros indicaram que se poderia estudar os efeitos conjuntos da interação ou o delineamento dos limites da parte informal pela parte formal ou se ambas apresentariam influências recíprocas. Neste trabalho são comparadas as redes sociais formais e informais de duas turmas distintas de alunos universitários e em momentos diferentes para verificar a existência da interação entre os elementos formais e informais dessas redes. Foi realizado um estudo de campo de caráter exploratório com auxílio da análise de redes sociais por meio do software Ucinet 6.0 e Netdraw. Foram coletadas várias medidas com base na percepção dos alunos e a análise dos dados indicou resultados não condizentes com a literatura, indicando a não ocorrência de relação entre os aspectos formal e informal. Dada a importância dessa interação, cabe aos professores e à instituição de ensino prover meios para que isso ocorra. Os resultados indicam a necessidade de mais estudos científicos a respeito do tema. JEL Code: L14, L84, O17.
APA, Harvard, Vancouver, ISO, and other styles
11

Miller, Keith. "Software informed consent: Docete emptorem, not caveat emptor." Science and Engineering Ethics 4, no. 3 (September 1998): 357–62. http://dx.doi.org/10.1007/s11948-998-0028-8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
12

Ozkaya, Mert. "Do the informal & formal software modeling notations satisfy practitioners for software architecture modeling?" Information and Software Technology 95 (March 2018): 15–33. http://dx.doi.org/10.1016/j.infsof.2017.10.008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Benatti, Lawton Nanni, Amanda Freitas dos Santos, Ednéia Maria Dias Trindade, Nemuel Lira Gomes, and Leandro Campi Prearo. "Análise de redes formais e informais e o papel dos atores internos nas organizações: um estudo comparativo." Research, Society and Development 10, no. 4 (April 14, 2021): e35910412783. http://dx.doi.org/10.33448/rsd-v10i4.12783.

Full text
Abstract:
Este trabalho tem como objetivo comparar as redes formais e informais construídas em uma organização e o papel dos atores internos envolvidos neste processo – os colaboradores, utilizando a metodologia da Análise das Redes Sociais – ARS, dentro de uma organização, de forma a compreender os tipos de relações formais e informais a partir de uma matriz de dados quantitativos com o apoio do software UCINET. Foi feito um levantamento censitário de todos os colaboradores de uma empresa composta por 77 colaboradores com 75 casos válidos. Através da matriz quadrática extraída, tanto formal como informal, analisou-se a densidade, centralidade, reciprocidade, clustering e egonet, incluindo aspectos relacionados ao gênero e função. Os resultados apresentam diferenças entre os sociogramas formal e informal tanto nas variáveis identificadas como pelos aspectos relacionados, sugerindo que as redes formais e informais possuem comportamentos distintos e, ainda, sugerem a contribuição do uso da análise das redes sociais para que gestores possam entender o panorama estratégico das relações entre seus colaboradores tanto no envolvimento profissional como no trato pessoal.
APA, Harvard, Vancouver, ISO, and other styles
14

Matte, Ana Cristina Fricke. "Uma definição informal de documentação: análise semiótica." Texto Livre: Linguagem e Tecnologia 1, no. 2 (June 2, 2011): 45–59. http://dx.doi.org/10.17851/1983-3652.1.2.45-59.

Full text
Abstract:
A documentação, para o software livre, é absolutamente essencial. A partir de uma analogia entre documentação de software e documentação para alugar uma casa, o texto analisa semioticamente a documentação como elemento de comunicação, discutindo o papel dos tipos de documento nos processos de produção e divulgação de software. A análise semiótica tensiva permite perceber a relação entre controle e espalhamento na constituição dos quadros de valores do software proprietário e do software livre, o que permite investigar a acepção de ";liberdade"; em cada um dos dois casos.
APA, Harvard, Vancouver, ISO, and other styles
15

Oldreive, Warren, and Mary Waight. "Computer software can help users to make informed decisions." Learning Disability Practice 13, no. 6 (July 7, 2010): 21–24. http://dx.doi.org/10.7748/ldp2010.07.13.6.21.c7887.

Full text
APA, Harvard, Vancouver, ISO, and other styles
16

Kusmiss, J. M. "Informal Survey of Software Fault Tolerance in Distributed Systems." IEEE Software 13, no. 1 (January 1996): 117. http://dx.doi.org/10.1109/ms.1996.476301.

Full text
APA, Harvard, Vancouver, ISO, and other styles
17

Miriyala, K., and M. T. Harandi. "Automatic derivation of formal software specifications from informal descriptions." IEEE Transactions on Software Engineering 17, no. 10 (1991): 1126–42. http://dx.doi.org/10.1109/32.99198.

Full text
APA, Harvard, Vancouver, ISO, and other styles
18

Choi, Shing Wan, Yunfeng Ruan, Jessica Johnson, Hei Man Wu, Eli Stahl, and Paul O'Reilly. "T18PRSET: PATHWAY-SPECIFIC, FUNCTION-INFORMED, POLYGENIC RISK SCORE SOFTWARE." European Neuropsychopharmacology 29 (October 2019): S228. http://dx.doi.org/10.1016/j.euroneuro.2019.08.217.

Full text
APA, Harvard, Vancouver, ISO, and other styles
19

Correia, Elaine Trevezanuto, Fernanda Gatez Trevisan dos Santos, Thamires Fernandes Cardoso da Silva Rodrigues, Aline Zulin, and Cremilde Aparecida Trindade Radovanovic. "Questionários de avaliação da sobrecarga do cuidador informal: Revisão integrativa." Research, Society and Development 10, no. 6 (June 6, 2021): e43310615883. http://dx.doi.org/10.33448/rsd-v10i6.15883.

Full text
Abstract:
Objetivo: Identificar na literatura, os questionários de avaliação da sobrecarga em cuidadores informais. Método: Revisão integrativa, conduzida nas estratégias de busca: CINAHL, Biblioteca Virtual em Saúde, Web of Science e Scopus (Elsevier). Por meio da seguinte questão de pesquisa: Quais são os questionários de avaliação da sobrecarga do cuidador informal disponíveis na literatura? Utilizou-se o software RAYYAN® para importar os dados. Resultados: detectaram-se nas bases 292 obras, destas quatorze contemplaram a revisão. Os estudos utilizaram 44 instrumentos de avaliação, os quais analisaram a depressão, ansiedade, qualidade de vida entre outros, elementos que se relacionam direta ou indiretamente a sobrecarga do cuidador informal. Os resultados foram apresentados em forma de tabela e os questionários mais utilizados para avaliar a sobrecarga do cuidador informal dentre os 44 identificados na pesquisa. Conclusão: Identificou-se inúmeros instrumentos que avaliaram indiretamente a sobrecarga do cuidador informal, entretanto apenas seis questionários destinados à avaliação da sobrecarga do cuidador informal.
APA, Harvard, Vancouver, ISO, and other styles
20

Fallas M, Juan José, and Jeffry Chavarría Molina. "Validación del software educativo Poliestudio 1.0: informe de investigación." Revista Electrónica Educare 13, no. 2 (December 15, 2009): 37–45. http://dx.doi.org/10.15359/ree.13-2.3.

Full text
Abstract:
Recibido 14 de agosto de 2008 • Aceptado 29 de abril de 2009 • Corregido 23 de junio de 2009 PoliEstudio 1.0 es una herramienta computacional de licencia gratuita diseñada para el trabajo con polinomios en una variable y fue creado por un equipo del cual forman parte los autores de este artículo. Aquí se documenta la validación cualitativa realizada a este software, con el objetivo de brindar al Sistema Educativo Costarricense un programa educativo validado, que dé respuesta parcial a la problemática que aqueja la formación matemática de los estudiantes de secundaria, en particular, en los temas concernientes a polinomios en una variable y, específicamente, a los estudiantes de octavo año.
APA, Harvard, Vancouver, ISO, and other styles
21

GERKEN, MARK J. "SPECIFICATION OF SOFTWARE ARCHITECTURE." International Journal of Software Engineering and Knowledge Engineering 10, no. 01 (February 2000): 69–95. http://dx.doi.org/10.1142/s0218194000000067.

Full text
Abstract:
Over the past several years, software architecture representation and analysis has become an active area of research. However, most approaches to software architecture representation and analysis have been informal. We postulate that through formality, the term "architecture" can be precisely defined and important properties of systems, such as semantic compatibility between connected entities, can be investigated with precision. In this paper, we use category theory and algebraic specifications to develop a formal definition of architecture and show how architecture theory can be used in the construction of software specifications.
APA, Harvard, Vancouver, ISO, and other styles
22

Razakh, Taufeq Mohammed, Beibei Wang, Shane Jackson, Rajiv K. Kalia, Aiichiro Nakano, Ken-ichi Nomura, and Priya Vashishta. "PND: Physics-informed neural-network software for molecular dynamics applications." SoftwareX 15 (July 2021): 100789. http://dx.doi.org/10.1016/j.softx.2021.100789.

Full text
APA, Harvard, Vancouver, ISO, and other styles
23

Park, Jungkap, Paul D. Piehowski, Christopher Wilkins, Mowei Zhou, Joshua Mendoza, Grant M. Fujimoto, Bryson C. Gibbons, et al. "Informed-Proteomics: open-source software package for top-down proteomics." Nature Methods 14, no. 9 (August 7, 2017): 909–14. http://dx.doi.org/10.1038/nmeth.4388.

Full text
APA, Harvard, Vancouver, ISO, and other styles
24

Hilton, Sarah K., Michael B. Doud, and Jesse D. Bloom. "phydms: software for phylogenetic analyses informed by deep mutational scanning." PeerJ 5 (July 31, 2017): e3657. http://dx.doi.org/10.7717/peerj.3657.

Full text
Abstract:
It has recently become possible to experimentally measure the effects of all amino-acid point mutations to proteins using deep mutational scanning. These experimental measurements can inform site-specific phylogenetic substitution models of gene evolution in nature. Here we describe software that efficiently performs analyses with such substitution models. This software, phydms, can be used to compare the results of deep mutational scanning experiments to the selection on genes in nature. Given a phylogenetic tree topology inferred with another program, phydms enables rigorous comparison of how well different experiments on the same gene capture actual natural selection. It also enables re-scaling of deep mutational scanning data to account for differences in the stringency of selection in the lab and nature. Finally, phydms can identify sites that are evolving differently in nature than expected from experiments in the lab. As data from deep mutational scanning experiments become increasingly widespread, phydms will facilitate quantitative comparison of the experimental results to the actual selection pressures shaping evolution in nature.
APA, Harvard, Vancouver, ISO, and other styles
25

Hedley, Carolyn. "What's New in Software? Computer Programs for Unobtrusive, Informal Evaluation." Journal of Reading, Writing, and Learning Disabilities International 1, no. 4 (July 1985): 105–11. http://dx.doi.org/10.1080/0748763850010414.

Full text
APA, Harvard, Vancouver, ISO, and other styles
26

Umeugo, Wisdom. "SECURE SOFTWARE DEVELOPMENT LIFECYCLE: A CASE FOR ADOPTION IN SOFTWARE SMES." International Journal of Advanced Research in Computer Science 14, no. 01 (February 21, 2023): 5–12. http://dx.doi.org/10.26483/ijarcs.v14i1.6949.

Full text
Abstract:
Software is widely deployed and used for managing critical daily domestic, social, and economic activities. Due to software’s economic value, software is a high-value target of malicious actors and a primary source of many information security vulnerabilities. Software must be engineered to be secure because of its value. Traditional approaches to software security treat software as an addon and have been proven inadequate at producing secure software. Practicing the secure software development lifecycle (SSDLC) is recommended in academic literature. Software SMEs must adopt and practice the SSDLC for increased security of published software. This paper explores the SSDLC and makes a case for its adoption with the goal of informing security decision-makers of Software SMEs.
APA, Harvard, Vancouver, ISO, and other styles
27

Greasley, Andrew, and Yucan Wang. "Integrating ERP and enterprise social software." Business Process Management Journal 23, no. 1 (February 3, 2017): 2–15. http://dx.doi.org/10.1108/bpmj-04-2015-0053.

Full text
Abstract:
Purpose The purpose of this paper is to explore the use of a hybrid enterprise resource planning (ERP) system, combining an ERP system with enterprise social software (ESS). The study will provide a critical assessment of the implementation of this process technology. Design/methodology/approach Multiple case studies of organisations based in China were conducted to understand the use of ERP systems in different contexts. Following an evaluation of the context of each ERP implementation (within-case analysis) the research draws a cross-case conclusion that defines the nature of a hybrid ERP system and then synthesises the propositions related to the benefits and challenges of implementation. Findings The authors find that a hybrid ERP system is able to support efficiency in business process management and also provide a flexible response to changes in business requirements. It does this by allowing for the continued use of informal processes that cannot be incorporated into the ERP system. Practical implications This research indicates how ERP systems in conjunction with ESS can provide a flexible response to changing business requirements and increase collaboration within the organisation. Key lessons include the need to perform informal activities under the guidance of managers and provide clear boundaries for the implementation of informal activities. Originality/value This study has found that the use of case studies can provide a valuable insight into the use of a hybrid ERP system from the perspective of its use within the organisation as a work system that requires an assessment of the context within which organisational members perform their work.
APA, Harvard, Vancouver, ISO, and other styles
28

Harvey, Francis, Aura Moldovan, Eric Losang, Tim Leibert, Maria Turchenko, Nicola Simon, and Rowenia Bender. "Participation in Software Development." International Journal of E-Planning Research 11, no. 1 (January 1, 2022): 1–15. http://dx.doi.org/10.4018/ijepr.307563.

Full text
Abstract:
Participatory planning holds important lessons for improving local government capabilities and responsiveness, but overall procedural regulations and statutory frameworks make its relevance for participatory IT development often just a matter of compliance. Developing analytical visualisations to support local government faces significant challenges because of the complexity and uncertainty about long-term benefits. We designed the process and local government staff understood their participation in an organised process. After each segment and the programming implementation, a new version of the software integrates improvements for participants.The participation process involved staff from ultimately 18 local governments. Participation became a verb describing the process that informed the directions to which we took up local government input.
APA, Harvard, Vancouver, ISO, and other styles
29

Smith, Gerald, and Jerry Debenham. "Developing informed citizens with computer software: the information revolution enters politics." ACM SIGCAS Computers and Society 20, no. 3 (August 1990): 105. http://dx.doi.org/10.1145/97351.97398.

Full text
APA, Harvard, Vancouver, ISO, and other styles
30

Weston, N. J., L. F. Baxter, and J. E. L. Simmons. "Software design: concept generation as part of formal and informal processes." IEEE Transactions on Engineering Management 45, no. 4 (1998): 396–406. http://dx.doi.org/10.1109/17.728581.

Full text
APA, Harvard, Vancouver, ISO, and other styles
31

Olorisade, Babatunde Kazeem, Sira Vegas, and Natalia Juristo. "Determining the effectiveness of three software evaluation techniques through informal aggregation." Information and Software Technology 55, no. 9 (September 2013): 1590–601. http://dx.doi.org/10.1016/j.infsof.2013.02.015.

Full text
APA, Harvard, Vancouver, ISO, and other styles
32

Holtgrave, Ursula, and Raymund Werle. "De-Commodifying Software? Open Source Software Between Business Strategy and Social Movement." Science & Technology Studies 14, no. 2 (January 1, 2001): 43–65. http://dx.doi.org/10.23987/sts.55135.

Full text
Abstract:
Focusing on open source software the origin, development and organisation of a process of de-commodification is examined in an industry that usually relies on strong provisions to protect intellectual property. Open source denotes a cooperative and voluntary mode of software development cross-cutting organisational boundaries and transcending relations of market exchange. Starting with the Open Systems Movement in the late 1970s, which was driven by business strategic and industrial policy interests and complemented by a spirit of mutual support in professional communities, a social movement type of collective action has emerged which develops knowledge as a public good. Competent communities share the norms of the hacker culture and cooperate in informal relations challenging the boundaries between private and public goods. But the open source idea has also been transformed into a business strategy by companies who provide basic software products for free and make money with complementary products and services.
APA, Harvard, Vancouver, ISO, and other styles
33

Torres, Tatiana De Lucena, Pedro F. Bendassolli, Fellipe Coelho Lima, Daniele De Souza Paulino, and Ana Paula Freitas Fernandes. "Representações Sociais do Trabalho Informal para Trabalhadores por Conta Própria." Revista Subjetividades 18, no. 3 (February 26, 2019): 26. http://dx.doi.org/10.5020/23590777.rs.v18i3.7453.

Full text
Abstract:
Estima-se que um terço da população brasileira desempenha atividades informais. Essa modalidade de trabalho envolve questões psicossociais e ideológicas específicas, como também representações sociais. O presente estudo objetiva caracterizar as representações sociais do trabalho informal para trabalhadores que estão inseridos nesse tipo de atividade, além de suas práticas sociais e identitárias, considerando a perspectiva da Teoria das Representações Sociais (TRS). O estudo foi exploratório e descritivo, circunscrito na abordagem qualitativa, com a participação de dez trabalhadores, os quais foram entrevistados de forma não diretiva. As narrativas foram analisadas com auxílio do IRAMUTEQ, um software de análise textual. Foi possível identificar três diferentes eixos representacionais: (a) história de vida e laboral, (b) intergeracionalidade da informalidade e (c) liberdade e precariedade do trabalho. As representações sociais do trabalho informal apresentam perspectiva hegemônica, mas também traduzem a atividade de trabalho como algo do humano, que identifica os trabalhadores, e que é insubstituível.
APA, Harvard, Vancouver, ISO, and other styles
34

Steimann, Friedrich, and Philip Mayer. "Type Access Analysis: Towards Informed Interface Design." Journal of Object Technology 6, no. 9 (2007): 147. http://dx.doi.org/10.5381/jot.2007.6.9.a8.

Full text
APA, Harvard, Vancouver, ISO, and other styles
35

Marques, Maria João Fernandes, Helena Jorge Cardoso Teixeira, and Dayse Cristine Dantas Brito Neri de Souza. "Cuidadoras informais de Portugal: vivências do cuidar de idosos." Trabalho, Educação e Saúde 10, no. 1 (June 2012): 147–59. http://dx.doi.org/10.1590/s1981-77462012000100009.

Full text
Abstract:
O cuidador informal surge da necessidade de se cuidar dos doentes e idosos no domicílio, com a função de auxiliar nas medicações, higiene e alimentação sem remuneração. Esse tipo de auxílio suscita sobrecarga física, psicológica e financeira. No âmbito da qualidade do cuidar, salienta-se a necessidade de se olhar e ajudar os cuidadores informais no árduo apoio aos seus doentes, que, na maioria, são idosos. O objetivo deste artigo é apresentar as percepções vivenciadas pelas cuidadoras informais, bem como o reconhecimento, por elas próprias, das sobrecargas que as afetam holisticamente - emocionais, físicas, financeiras -, e a importância de desenvolver estratégias de coping na formação sobre como melhor cuidar. As entrevistadas residem nas regiões Norte e Centro de Portugal e responderam ao inquérito adaptado do The Zarit Burden Interview. As entrevistas foram analisadas com o apoio do software NVivo 8. Os dados obtidos indicam que as cuidadoras informais enfrentam mais sobrecargas físicas e emocionais do que financeiras. No entanto, salientaram que, apesar das dificuldades, gostam de cuidar dos seus familiares. Quanto a serem convidadas para participarem de formações sobre como melhor cuidar, algumas confirmaram o interesse. Verificase que as cuidadoras informais são carentes de uma formação que as capacite a melhor cuidar prevenindo consequências danosas.
APA, Harvard, Vancouver, ISO, and other styles
36

Sullabi, Mohamed A., and Zarina Shukur. "SNL2Z: Tool for Translating an Informal Structured Software Specification into Formal Specification." American Journal of Applied Sciences 5, no. 4 (April 1, 2008): 378–84. http://dx.doi.org/10.3844/ajassp.2008.378.384.

Full text
APA, Harvard, Vancouver, ISO, and other styles
37

Park, Jungkap, Paul D. Piehowski, Christopher Wilkins, Mowei Zhou, Joshua Mendoza, Grant M. Fujimoto, Bryson C. Gibbons, et al. "Author Correction: Informed-Proteomics: open-source software package for top-down proteomics." Nature Methods 15, no. 7 (June 13, 2018): 554. http://dx.doi.org/10.1038/s41592-018-0040-0.

Full text
APA, Harvard, Vancouver, ISO, and other styles
38

Bubel, Richard, and Reiner Hähnle. "Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software." Electronic Notes in Theoretical Computer Science 80 (August 2003): 1–23. http://dx.doi.org/10.1016/s1571-0661(04)80806-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
39

Bubel, Richard, and Reiner Hähnle. "Integration of informal and formal development of object-oriented safety-critical software." International Journal on Software Tools for Technology Transfer 7, no. 3 (December 14, 2004): 197–211. http://dx.doi.org/10.1007/s10009-004-0166-5.

Full text
APA, Harvard, Vancouver, ISO, and other styles
40

Dilhara, Malinda, Ameya Ketkar, and Danny Dig. "Understanding Software-2.0." ACM Transactions on Software Engineering and Methodology 30, no. 4 (July 2021): 1–42. http://dx.doi.org/10.1145/3453478.

Full text
Abstract:
Enabled by a rich ecosystem of Machine Learning (ML) libraries, programming using learned models , i.e., Software-2.0 , has gained substantial adoption. However, we do not know what challenges developers encounter when they use ML libraries. With this knowledge gap, researchers miss opportunities to contribute to new research directions, tool builders do not invest resources where automation is most needed, library designers cannot make informed decisions when releasing ML library versions, and developers fail to use common practices when using ML libraries. We present the first large-scale quantitative and qualitative empirical study to shed light on how developers in Software-2.0 use ML libraries, and how this evolution affects their code. Particularly, using static analysis we perform a longitudinal study of 3,340 top-rated open-source projects with 46,110 contributors. To further understand the challenges of ML library evolution, we survey 109 developers who introduce and evolve ML libraries. Using this rich dataset we reveal several novel findings. Among others, we found an increasing trend of using ML libraries: The ratio of new Python projects that use ML libraries increased from 2% in 2013 to 50% in 2018. We identify several usage patterns including the following: (i) 36% of the projects use multiple ML libraries to implement various stages of the ML workflows, (ii) developers update ML libraries more often than the traditional libraries , (iii) strict upgrades are the most popular for ML libraries among other update kinds, (iv) ML library updates often result in cascading library updates, and (v) ML libraries are often downgraded (22.04% of cases). We also observed unique challenges when evolving and maintaining Software-2.0 such as (i) binary incompatibility of trained ML models and (ii) benchmarking ML models. Finally, we present actionable implications of our findings for researchers, tool builders, developers, educators, library vendors, and hardware vendors.
APA, Harvard, Vancouver, ISO, and other styles
41

Kim, Juho, Haoqi Zhang, Paul André, Lydia Chilton, Anant Bhardwaj, David Karger, Steven Dow, and Robert Miller. "Cobi: Community-Informed Conference Scheduling." Proceedings of the AAAI Conference on Human Computation and Crowdsourcing 1 (November 3, 2013): 97–98. http://dx.doi.org/10.1609/hcomp.v1i1.13050.

Full text
Abstract:
Creating a schedule for a large multi-track conference requires considering the preferences and constraints of organizers, authors, and attendees. Traditionally, a few dedicated organizers manage the size and complexity of the schedule with limited information and coverage. Cobi presents an alternative approach to conference scheduling by engaging the entire community to take active roles in the planning process. It consists of a collection of crowdsourcing applications that elicit preferences and constraints from the community, and software that enable organizers and other community members to take informed actions based on collected information.
APA, Harvard, Vancouver, ISO, and other styles
42

Teuben, Peter. "Simulation Software: Then, Now and Virtual Observatory." Symposium - International Astronomical Union 208 (2003): 359–68. http://dx.doi.org/10.1017/s0074180900207316.

Full text
Abstract:
Like hardware, evolution of software has had a major impact on the field of particle simulations. This paper illustrates how simulation software has evolved, and where it can go. In addition, with the various ongoing Virtual Observatory efforts, producers of data should think more about sharing their data! Some examples are given of what we can do with our data and how to share it with our colleagues and observers. In the Appendix we summarize the findings of an informal data and software usage survey that we took during this conference.
APA, Harvard, Vancouver, ISO, and other styles
43

Astrakhantsev, N. A., and D. Yu Turdakov. "Automatic construction and enrichment of informal ontologies: A survey." Programming and Computer Software 39, no. 1 (January 2013): 34–42. http://dx.doi.org/10.1134/s0361768813010039.

Full text
APA, Harvard, Vancouver, ISO, and other styles
44

Kleffmann, Markus, Sebastian Röhl, Matthias Book, and Volker Gruhn. "Evaluation of a traceability approach for informal freehand sketches." Automated Software Engineering 25, no. 1 (August 16, 2017): 1–43. http://dx.doi.org/10.1007/s10515-017-0221-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
45

Pillay, N., and W. Banzhaf. "An informed genetic algorithm for the examination timetabling problem." Applied Soft Computing 10, no. 2 (March 2010): 457–67. http://dx.doi.org/10.1016/j.asoc.2009.08.011.

Full text
APA, Harvard, Vancouver, ISO, and other styles
46

Hauswirth, Matthias, and Andrea Adamoli. "Teaching Java programming with the Informa clicker system." Science of Computer Programming 78, no. 5 (May 2013): 499–520. http://dx.doi.org/10.1016/j.scico.2011.06.006.

Full text
APA, Harvard, Vancouver, ISO, and other styles
47

Fuhrman, Christopher P. "Lightweight models for interpreting informal specifications." Requirements Engineering 8, no. 4 (November 1, 2003): 206–21. http://dx.doi.org/10.1007/s00766-002-0154-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
48

Park, Bo Kyung, and R. Young Chul Kim. "Effort Estimation Approach through Extracting Use Cases via Informal Requirement Specifications." Applied Sciences 10, no. 9 (April 27, 2020): 3044. http://dx.doi.org/10.3390/app10093044.

Full text
Abstract:
Sometimes unclearly describing the requirement specifications of satisfied customer’s needs, means it may be difficult to develop the production of high-quality software systems. A persistent issue of requirement engineering is how to clearly understand the requirements of the large and complex software project, and also how to analyze them exactly. To solve this problem, we propose a linguistic analysis method based on the semantic analysis of the Fillmore’s textual approach. This method extracts use-cases from informal requirement specifications. For applied requirement engineering with this method, we suggest extracting a use-case diagram, as well as calculating the software effort estimation with the original use-case point (UCP). To simply explanations of our use-case extraction method, we use one example of a simple postal information system.
APA, Harvard, Vancouver, ISO, and other styles
49

Pogrebnoy, V. Yu, M. I. Pushkarev, and A. S. Fadeev. "Hardware-software complex of informing passengers of forecasted route transport arrival at stop." IOP Conference Series: Materials Science and Engineering 177 (February 2017): 012048. http://dx.doi.org/10.1088/1757-899x/177/1/012048.

Full text
APA, Harvard, Vancouver, ISO, and other styles
50

Peruzzi, Laura, Patrizia Bellucci, Andrea Cerniglia, and Paola Coppi. "Informing the public on noise impacts through the WEB-GIS DYNAMAP software application." Journal of the Acoustical Society of America 141, no. 5 (May 2017): 3803. http://dx.doi.org/10.1121/1.4988397.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography