Relevant bibliographies by topics / Software engineering – Mathematics

Academic literature on the topic 'Software engineering – Mathematics'

Author: Grafiati
Published: 4 June 2021
Last updated: 2 February 2022

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

Select a source type:

Contents

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Software engineering – Mathematics.'

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.

Journal articles on the topic "Software engineering – Mathematics"

1

Molina, J. A. López, and M. Trujillo. "Mathematica Software in Engineering Mathematics Classes." International Journal of Mechanical Engineering Education 33, no. 3 (July 2005): 244–50. http://dx.doi.org/10.7227/ijmee.33.3.6.

Full text
Abstract:
In this paper we show the advantages of using Mathematica software in engineering mathematics classes through the study of an example problem concerning heat conduction in a slab. Firstly the problem is solved from the point of view of a parabolic model of heat conduction, and secondly from the viewpoint of a hyperbolic model.
APA, Harvard, Vancouver, ISO, and other styles
2

Hall, Anthony. "Software engineering mathematics." Science of Computer Programming 12, no. 2 (July 1989): 168–70. http://dx.doi.org/10.1016/0167-6423(89)90045-2.

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

Hamlet, Dick. "Mathematics, Computer Science, Software Engineering." Electronic Notes in Theoretical Computer Science 40 (March 2001): 186. http://dx.doi.org/10.1016/s1571-0661(05)80044-1.

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

Dougherty, John P. "MATH COUNTSWhere mathematics meets software engineering." ACM Inroads 8, no. 3 (July 28, 2017): 13–15. http://dx.doi.org/10.1145/3123734.

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

Hamlet, D. "Science, Mathematics, Computer Science, Software Engineering." Computer Journal 55, no. 1 (September 12, 2011): 99–110. http://dx.doi.org/10.1093/comjnl/bxr090.

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

Ramasamy, Subburaj. "Computational Mathematics for Software Reliability Engineering." Journal of Combinatorics, Information & System Sciences 44, no. 1-4 (December 30, 2020): 217–44. http://dx.doi.org/10.32381/jciss.2019.44.1-4.12.

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

Li, Tun, Wanwei Liu, Juan Chen, Xiaoguang Mao, and Xinjun Mao. "Towards connecting discrete mathematics and software engineering." Tsinghua Science and Technology 25, no. 3 (June 2020): 325–35. http://dx.doi.org/10.26599/tst.2019.9010012.

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

Gonthier, Georges. "Engineering mathematics." ACM SIGPLAN Notices 48, no. 1 (January 23, 2013): 1–2. http://dx.doi.org/10.1145/2480359.2429071.

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

Boute, R. "Supertotal function definition in mathematics and software engineering." IEEE Transactions on Software Engineering 26, no. 7 (July 2000): 662–72. http://dx.doi.org/10.1109/32.859534.

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

Tremblay, G. "Formal methods: mathematics, computer science or software engineering?" IEEE Transactions on Education 43, no. 4 (2000): 377–82. http://dx.doi.org/10.1109/13.883345.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Software engineering – Mathematics"

1

Pollard, Janelle. "A software engineering approach to the integration of computer technology into mathematics education /." [St. Lucia, Qld.], 2004. http://www.library.uq.edu.au/pdfserve.php?image=thesisabs/absthe18424.pdf.

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

Owusu-Tieku, Kwaku. "Using software engineering metrics in AP modularization." [Johnson City, Tenn. : East Tennessee State University], 2001. http://etd-submit.etsu.edu/etd/theses/available/etd-0718101-161918/unrestricted/owusu-tiekuk0813a.pdf.

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

Gill, Mandeep Singh. "Application of software engineering methodologies to the development of mathematical biological models." Thesis, University of Oxford, 2013. http://ora.ox.ac.uk/objects/uuid:35178f3a-7951-4f1c-aeab-390cdd622b05.

Full text
Abstract:
Mathematical models have been used to capture the behaviour of biological systems, from low-level biochemical reactions to multi-scale whole-organ models. Models are typically based on experimentally-derived data, attempting to reproduce the observed behaviour through mathematical constructs, e.g. using Ordinary Differential Equations (ODEs) for spatially-homogeneous systems. These models are developed and published as mathematical equations, yet are of such complexity that they necessitate computational simulation. This computational model development is often performed in an ad hoc fashion by modellers who lack extensive software engineering experience, resulting in brittle, inefficient model code that is hard to extend and reuse. Several Domain Specific Languages (DSLs) exist to aid capturing such biological models, including CellML and SBML; however these DSLs are designed to facilitate model curation rather than simplify model development. We present research into the application of techniques from software engineering to this domain; starting with the design, development and implementation of a DSL, termed Ode, to aid the creation of ODE-based biological models. This introduces features beneficial to model development, such as model verification and reproducible results. We compare and contrast model development to large-scale software development, focussing on extensibility and reuse. This work results in a module system that enables the independent construction and combination of model components. We further investigate the use of software engineering processes and patterns to develop complex modular cardiac models. Model simulation is increasingly computationally demanding, thus models are often created in complex low-level languages such as C/C++. We introduce a highly-efficient, optimising native-code compiler for Ode that generates custom, model-specific simulation code and allows use of our structured modelling features without degrading performance. Finally, in certain contexts the stochastic nature of biological systems becomes relevant. We introduce stochastic constructs to the Ode DSL that enable models to use Stochastic Differential Equations (SDEs), the Stochastic Simulation Algorithm (SSA), and hybrid methods. These use our native-code implementation and demonstrate highly-efficient stochastic simulation, beneficial as stochastic simulation is highly computationally intensive. We introduce a further DSL to model ion channels declaratively, demonstrating the benefits of DSLs in the biological domain. This thesis demonstrates the application of software engineering methodologies, and in particular DSLs, to facilitate the development of both deterministic and stochastic biological models. We demonstrate their benefits with several features that enable the construction of large-scale, reusable and extensible models. This is accomplished whilst providing efficient simulation, creating new opportunities for biological model development, investigation and experimentation.
APA, Harvard, Vancouver, ISO, and other styles
4

Johnson, Stephen Philip. "Mapping numerical software onto distributed memory parallel systems." Thesis, University of Greenwich, 1992. http://gala.gre.ac.uk/8676/.

Full text
Abstract:
The aim of this thesis is to further the use of parallel computers, in particular distributed memory systems, by proving strategies for parallelisation and developing the core component of tools to aid scalar software porting. The ported code must not only efficiently exploit available parallel processing speed and distributed memory, but also enable existing users of the scalar code to use the parallel version with identical inputs and allow maintenance to be performed by the scalar code author in conjunction with the parallel code. The data partition strategy has been used to parallelise an in-house solidification modelling code where all requirements for the parallel software were successfully met. To confirm the success of this parallelisation strategy, a much sterner test was used, parallelising the HARWELL-FLOW3D fluid flow package. The performance results of the parallel version clearly vindicate the conclusions of the first example. Speedup efficiencies of around 80 percent have been achieved on fifty processors for sizable models. In both these tests, the alterations to the code were fairly minor, maintaining the structure and style of the original scalar code which can easily be recognised by its original author. The alterations made to these codes indicated the potential for parallelising tools since the alterations were fairly minor and usually mechanical in nature. The current generation of parallelising compilers rely heavily on heuristic guidance in parallel code generation and other decisions that may be better made by a human. As a result, the code they produce will almost certainly be inferior to manually produced code. Also, in order not to sacrifice parallel code quality when using tools, the scalar code analysis to identify inherent parallelism in a application code, as used in parallelising compilers, has been extended to eliminate dependencies conservatively assumed, since these dependencies can greatly inhibit parallelisation. Extra information has been extracted both from control flow and from processing symbolic information. The tests devised to utilise this information enable the non-existence of a significant number of previously assumed dependencies to be proved. In some cases, the number of true dependencies has been more than halved. The dependence graph produced is of sufficient quality to greatly aid the parallelisation, with user interaction and interpretation, parallelism detection and code transformation validity being less inhibited by assumed dependencies. The use of tools rather than the black box approach removes the handicaps associated with using heuristic methods, if any relevant heuristic methods exist.
APA, Harvard, Vancouver, ISO, and other styles
5

Vũ, John Huân. "Software Internationalization: A Framework Validated Against Industry Requirements for Computer Science and Software Engineering Programs." DigitalCommons@CalPoly, 2010. https://digitalcommons.calpoly.edu/theses/248.

Full text
Abstract:
View John Huân Vũ's thesis presentation at http://youtu.be/y3bzNmkTr-c. In 2001, the ACM and IEEE Computing Curriculum stated that it was necessary to address "the need to develop implementation models that are international in scope and could be practiced in universities around the world." With increasing connectivity through the internet, the move towards a global economy and growing use of technology places software internationalization as a more important concern for developers. However, there has been a "clear shortage in terms of numbers of trained persons applying for entry-level positions" in this area. Eric Brechner, Director of Microsoft Development Training, suggested five new courses to add to the computer science curriculum due to the growing "gap between what college graduates in any field are taught and what they need to know to work in industry." He concludes that "globalization and accessibility should be part of any course of introductory programming," stating: A course on globalization and accessibility is long overdue on college campuses. It is embarrassing to take graduates from a college with a diverse student population and have to teach them how to write software for a diverse set of customers. This should be part of introductory software development. Anything less is insulting to students, their family, and the peoples of the world. There is very little research into how the subject of software internationalization should be taught to meet the major requirements of the industry. The research question of the thesis is thus, "Is there a framework for software internationalization that has been validated against industry requirements?" The answer is no. The framework "would promote communication between academia and industry ... that could serve as a common reference point in discussions." Since no such framework for software internationalization currently exists, one will be developed here. The contribution of this thesis includes a provisional framework to prepare graduates to internationalize software and a validation of the framework against industry requirements. The requirement of this framework is to provide a portable and standardized set of requirements for computer science and software engineering programs to teach future graduates.
APA, Harvard, Vancouver, ISO, and other styles
6

Borgers, Jocelyn. "Web 2.0 Technologies in the Software Development Process." Digital Commons @ East Tennessee State University, 2013. https://dc.etsu.edu/honors/164.

Full text
Abstract:
Software engineers must communicate with many different people, likely in different locations, in order to create a successful piece of software. Social media can be used to communicate quickly and efficiently to minimize miscommunications and facilitate collaboration in the software development process. Research in this area has been sparse but significant because initial findings show that social media is being used in innovative ways to improve software development. Surveys of what social media some companies are currently using along with information about new social media systems indicate possible uses for these technologies on future software development projects such as documentation maintenance, employee training, and predicting and thus preventing build failures.
APA, Harvard, Vancouver, ISO, and other styles
7

Ewer, John Andrew Clark. "An investigation into the feasibility, problems and benefits of re-engineering a legacy procedural CFD code into an event driven, object oriented system that allows dynamic user interaction." Thesis, University of Greenwich, 2000. http://gala.gre.ac.uk/6165/.

Full text
Abstract:
This research started with questions about how the overall efficiency, reliability and ease-of-use of Computational Fluid Dynamics (CFD) codes could be improved using any available software engineering and Human Computer Interaction (HCI) techniques. Much of this research has been driven by the difficulties experienced by novice CFD users in the area of Fire Field Modelling where the introduction of performance based building regulations have led to a situation where non CFD experts are increasingly making use of CFD techniques, with varying degrees of effectiveness, for safety critical research. Formerly, such modelling has not been helped by the mode of use, high degree of expertise required from the user and the complexity of specifying a simulation case. Many of the early stages of this research were channelled by perceived limitations of the original legacy CFD software that was chosen as a framework for these investigations. These limitations included poor code clarity, bad overall efficiency due to the use of batch mode processing, poor assurance that the final results presented from the CFD code were correct and the requirement for considerable expertise on the part of users. The innovative incremental re-engineering techniques developed to reverse-engineer, re-engineer and improve the internal structure and usability of the software were arrived at as a by-product of the research into overcoming the problems discovered in the legacy software. The incremental reengineering methodology was considered to be of enough importance to warrant inclusion in this thesis. Various HCI techniques were employed to attempt to overcome the efficiency and solution correctness problems. These investigations have demonstrated that the quality, reliability and overall run-time efficiency of CFD software can be significantly improved by the introduction of run-time monitoring and interactive solution control. It should be noted that the re-engineered CFD code is observed to run more slowly than the original FORTRAN legacy code due, mostly, to the changes in calling architecture of the software and differences in compiler optimisation: but, it is argued that the overall effectiveness, reliability and ease-of-use of the prototype software are all greatly improved. Investigations into dynamic solution control (made possible by the open software architecture and the interactive control interface) have demonstrated considerable savings when using solution control optimisation. Such investigations have also demonstrated the potential for improved assurance of correct simulation when compared with the batch mode of processing found in most legacy CFD software. Investigations have also been conducted into the efficiency implications of using unstructured group solvers. These group solvers are a derivation of the simple point-by-point Jaccobi Over Relaxation (JOR) and Successive Over Relaxation (SOR) solvers [CROFT98] and using group solvers allows the computational processing to be more effectively targeted on regions or logical collections of cells that require more intensive computation. Considerable savings have been demonstrated for the use of both static- and dynamic- group membership when using these group solvers for a complex 3-imensional fire modelling scenario. Furthermore the improvements in the system architecture (brought about as a result of software re-engineering) have helped to create an open framework that is both easy to comprehend and extend. This is in spite of the underlying unstructured nature of the simulation mesh with all of the associated complexity that this brings to the data structures. The prototype CFD software framework has recently been used as the core processing module in a commercial Fire Field Modelling product (called "SMARTFIRE" [EWER99-1]). This CFD framework is also being used by researchers to investigate many diverse aspects of CFD technology including Knowledge Based Solution Control, Gaseous and Solid Phase Combustion, Adaptive Meshing and CAD file interpretation for ease of case specification.
APA, Harvard, Vancouver, ISO, and other styles
8

Tillenius, Martin. "Leveraging multicore processors for scientific computing." Licentiate thesis, Uppsala universitet, Avdelningen för beräkningsvetenskap, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-181266.

Full text
Abstract:
This thesis deals with how to develop scientific computing software that runs efficiently on multicore processors. The goal is to find building blocks and programming models that increase the productivity and reduce the probability of programming errors when developing parallel software. In our search for new building blocks, we evaluate the use of hardware transactional memory for constructing atomic floating point operations. Using benchmark applications from scientific computing, we show in which situations this achieves better performance than other approaches. Driven by the needs of scientific computing applications, we develop a programming model and implement it as a reusable library. The library provides a run-time system for executing tasks on multicore architectures, with efficient and user-friendly management of dependencies. Our results from scientific computing benchmarks show excellent scaling up to at least 64 cores. We also investigate how the execution time depend on the task granularity, and build a model for the performance of the task library.
UPMARC
eSSENCE
APA, Harvard, Vancouver, ISO, and other styles
9

Jayawardena, Mahen. "Parallel algorithms and implementations for genetic analysis of quantitative traits." Licentiate thesis, Uppsala universitet, Avdelningen för teknisk databehandling, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-85815.

Full text
Abstract:
Many important traits in plants, animals and humans are quantitative, and most such traits are generally believed to be regulated by multiple genetic loci. Standard computational tools for analysis of quantitative traits use linear regression models for relating the observed phenotypes to the genetic composition of individuals in a population. However, using these tools to simultaneously search for multiple genetic loci is very computationally demanding. The main reason for this is the complex nature of the optimization landscape for the multidimensional global optimization problems that must be solved. This thesis describes parallel algorithms and implementation techniques for such optimization problems. The new computational tools will eventually enable genetic analysis exploiting new classes of multidimensional statistical models, potentially resulting in interesting results in genetics. We first describe how the algorithm used for global optimization in the standard, serial software is parallelized and implemented on a grid system. Then, we also describe a parallelized version of the more elaborate global optimization algorithm DIRECT and show how this can be deployed on grid systems and other loosely-coupled architectures. The parallel DIRECT scheme is further developed to exploit both coarse-grained parallelism in grid or clusters as well as fine-grained, tightly-coupled parallelism in multi-core nodes. The results show that excellent speedup and performance can be archived on grid systems and clusters, even when using a tightly-coupled algorithms such as DIRECT. Finally, a pilot implementation of a grid portal providing a graphical front-end for our code is implemented. After some further development, this portal can be utilized by geneticists for performing multidimensional genetic analysis of quantitative traits on a regular basis.
APA, Harvard, Vancouver, ISO, and other styles
10

Löf, Henrik. "Parallelizing the Method of Conjugate Gradients for Shared Memory Architectures." Licentiate thesis, Uppsala universitet, Avdelningen för teknisk databehandling, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-86295.

Full text
Abstract:
Solving Partial Differential Equations (PDEs) is an important problem in many fields of science and engineering. For most real-world problems modeled by PDEs, we can only approximate the solution using numerical methods. Many of these numerical methods result in very large systems of linear equations. A common way of solving these systems is to use an iterative solver such as the method of conjugate gradients. Furthermore, due to the size of these systems we often need parallel computers to be able to solve them in a reasonable amount of time. Shared memory architectures represent a class of parallel computer systems commonly used both in commercial applications and in scientific computing. To be able to provide cost-efficient computing solutions, shared memory architectures come in a large variety of configurations and sizes. From a programming point of view, we do not want to spend a lot of effort optimizing an application for a specific computer architecture. We want to find methods and principles of optimizing our programs that are generally applicable to a large class of architectures. In this thesis, we investigate how to implement the method of conjugate gradients efficiently on shared memory architectures. We seek algorithmic optimizations that result in efficient programs for a variety of architectures. To study this problem, we have implemented the method of conjugate gradients using OpenMP and we have measured the runtime performance of this solver on a variety of both uniform and non-uniform shared memory architectures. The input data used in the experiments come from a Finite-Element discretization of the Maxwell equations in three dimensions of a fighter-jet geometry. Our results show that, for all architectures studied, optimizations targeting the memory hierarchy exhibited the largest performance increase. Improving the load balance, by balancing the arithmetical work and minimizing the number of global barriers showed to be of lesser importance. Overall, bandwidth minimization of the iteration matrix showed to be the most efficient optimization. On non-uniform architectures, proper data distribution showed to be very important. In our experiments we used page migration to improve the data distribution during runtime. Our results indicate that page migration can be very efficient if we can keep the migration cost low. Furthermore, we believe that page migration can be introduced in a portable way into OpenMP in the form of a directive with a affinity-on-next-touch semantic.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Software engineering – Mathematics"

1

Martin, Loomes, ed. Software engineering mathematics. Reading, Mass: Addison-Wesley Pub. Co., 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Computer games and software engineering. Boca Raton: CRC Press, Taylor & Francis Group, 2015.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Martin, Loomes, ed. Software engineering mathematics: Formal methods demystified. London: Taylor & Francis, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Martin, Loomes, ed. Software engineering mathematics: Formal methods demystified. London: Pitman, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Categories for software engineering. Berlin: Springer-Verlag, 2005.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Norcliffe, Allan. Mathematics of software construction. New York: E. Horwood, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Denvir, Tim. Introduction to discrete mathematics for software engineering. Basingstoke: Macmillan Education, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Introduction to discrete mathematics for software engineering. New York: Macmillan, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Denvir, Tim. Introduction to Discrete Mathematics for Software Engineering. London: Macmillan Education UK, 1986. http://dx.doi.org/10.1007/978-1-349-18496-5.

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

Denvir, Tim. Introduction to discrete mathematics for software engineering. Basingstoke: Macmillan Education, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Software engineering – Mathematics"

1

O’Regan, Gerard. "Software Engineering Mathematics." In Undergraduate Topics in Computer Science, 303–18. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-34209-8_19.

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

O’Regan, Gerard. "Software Engineering Mathematics." In Texts in Computer Science, 283–97. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-44561-8_17.

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

O’Regan, Gerard. "Software Engineering." In Mathematics in Computing, 71–87. London: Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-4534-9_4.

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

Broy, Manfred. "Mathematics of software engineering." In Lecture Notes in Computer Science, 18–48. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/3-540-60117-1_3.

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

Gonthier, Georges. "Software Engineering for Mathematics." In Lecture Notes in Computer Science, 27. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02614-0_4.

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

Bausch, H. "IngMath: Software for Engineering Mathematics." In Mathematical Modelling Courses for Engineering Education, 153–57. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/978-3-662-02977-0_11.

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

Woodcock, J. C. P. "Mathematics as a Management Tool: Proof Rules for Promotion." In Software Engineering for Large Software Systems, 345–65. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-0771-3_18.

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

Russell, Meg. "The Mathematics of Measurement in Software Engineering." In Formal Aspects of Measurement, 209–18. London: Springer London, 1992. http://dx.doi.org/10.1007/978-1-4471-3205-9_12.

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

Peng, Shengguang. "Application of Software Matlab in Advanced Mathematics." In Lecture Notes in Electrical Engineering, 673–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-35398-7_84.

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

Wijaya, Tommy Tanu, Jianlan Tang, Li Li, and Aditya Purnama. "Implementing Dynamic Mathematics Software in Calculus II for Engineering Students: Quadratic Surfaces." In Software Engineering and Algorithms, 480–91. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-77442-4_41.

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

Conference papers on the topic "Software engineering – Mathematics"

1

Gonthier, Georges. "Software engineering for mathematics (keynote)." In the 2013 9th Joint Meeting. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2491411.2505429.

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

Cohoon, James, and John Knight. "Connecting Discrete Mathematics and Software Engineering." In Proceedings. Frontiers in Education. 36th Annual Conference. IEEE, 2006. http://dx.doi.org/10.1109/fie.2006.322656.

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

Pamas, D. L. "The use of mathematics in software engineering." In Proceedings of IEEE ICFEM 2000. Third IEEE International Conference on Formal Engineering Methods. IEEE, 2000. http://dx.doi.org/10.1109/icfem.2000.873799.

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

"Completely validated software: mathematics-based software engineering for completely validated software (panel session)." In the 11th international conference, edited by Richard C. Linger. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/74587.74636.

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

Hajjar, Said Taan EL. "Websites that Develop Access to Mathematics Teaching Bring Mathematics to Real Life." In Technology for Education / Software Engineering and Applications. Calgary,AB,Canada: ACTAPRESS, 2011. http://dx.doi.org/10.2316/p.2011.754-031.

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

Hajjar, Said Taan EL. "Websites that Develop Access to Mathematics Teaching Bring Mathematics to Real Life." In Technology for Education / Software Engineering and Applications. Calgary,AB,Canada: ACTAPRESS, 2012. http://dx.doi.org/10.2316/p.2012.754-031.

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

Barba-Guaman, Luis Rodrigo, Pablo Alejandro Quezada-Sarmiento, Carlos Alberto Calderon-Cordova, Alfonso Maria Sarmiento-Ochoa, Liliana Enciso, Tula Silvana Luna-Briceno, and Lorena Elizabeth Conde-Zhingre. "Using wolfram software to improve reading comprehension in mathematics for software engineering students." In 2018 13th Iberian Conference on Information Systems and Technologies (CISTI). IEEE, 2018. http://dx.doi.org/10.23919/cisti.2018.8399388.

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

Sahito, Sanam Fayaz, Abdul Rehman Gilal, Rizwan Ali Abro, Ahmad Waqas, and Khisaluddin Shaikh. "Research Publication Trends in Software Engineering." In 2019 13th International Conference on Mathematics, Actuarial Science, Computer Science and Statistics (MACS). IEEE, 2019. http://dx.doi.org/10.1109/macs48846.2019.9024767.

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

Su, Wei, Lian Li, Chuan Cai, and Paul S. Wang. "An Intelligent Mathematics Assessment System." In 2009 International Conference on Computational Intelligence and Software Engineering. IEEE, 2009. http://dx.doi.org/10.1109/cise.2009.5364979.

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

Yuan, Jingling, and Minlong Yang. "Discrete mathematics as bridge for software engineering courses teaching and practice." In 2012 7th International Conference on Computer Science & Education (ICCSE 2012). IEEE, 2012. http://dx.doi.org/10.1109/iccse.2012.6295465.

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

Reports on the topic "Software engineering – Mathematics"

1

Turanova, Larisa, and Andrey Styugin. Electronic course "Introduction to engineering class". Science and Innovation Center Publishing House, November 2020. http://dx.doi.org/10.12731/introduction_to_engineering_class.

Full text
Abstract:
The electronic course "Introduction to the engineering class" is an electronic educational course for the implementation of the module of the vocational guidance program of additional education for schoolchildren of a technical orientation. Powered by LMS Moodle platform, contains multimedia and interactive resources. Available through a browser with built-in FleshPlayer, no additional software required. The electronic course includes materials on mathematics, physics, astronomy. Classes based on the e-course involve the use of electronic course resources in teleconference mode and independent work mode.
APA, Harvard, Vancouver, ISO, and other styles
2

Beidler, John. Ada Support for the Mathematical Foundations of Software Engineering. Fort Belvoir, VA: Defense Technical Information Center, November 1993. http://dx.doi.org/10.21236/ada278031.

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

Willenbring, James M., Roscoe Ainsworth Bartlett, and Michael Allen Heroux. TriBITS lifecycle model. Version 1.0, a lean/agile software lifecycle model for research-based computational science and engineering and applied mathematical software. Office of Scientific and Technical Information (OSTI), January 2012. http://dx.doi.org/10.2172/1038225.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Software engineering – Mathematics' for particular source types:
Journal articles Dissertations / Theses Books
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