Search results
From MaRDI portal
- tool for distributed software development projects 2009-05-26 Paper A reliability assessment tool for distributed software development environment based on...10 bytes (16 words) - 07:09, 7 October 2023
- for a software system with a scheduled software delivery time 1984-01-01 Paper S-shaped software reliability growth models with four types of software error...10 bytes (16 words) - 18:55, 9 December 2023
- DocLine: a method for software product lines documentation development 2009-09-04 Paper RTST++: Methodology and a CASE tool for the development of information...10 bytes (18 words) - 03:13, 13 December 2023
- Publication Type Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K 2023-03-21 Paper Formal methods for software engineering...10 bytes (16 words) - 21:56, 10 December 2023
- requirements specifications 1998-06-08 Paper Software perfective maintenance: Including retrainable software in software reuse 1994-07-26 Paper https://portal...10 bytes (18 words) - 11:59, 13 December 2023
- classification-tree models of software quality 2003-02-17 Paper Controlling overfitting in classification-tree models of software quality 2003-02-17 Paper Uncertain...10 bytes (18 words) - 11:27, 13 December 2023
- approach to software design for attractivity requirement 2007-05-18 Paper On the polynomial dynamic system approach to software development 2007-02-20 Paper...10 bytes (17 words) - 21:53, 12 December 2023
- Paper Stepwise development and model checking of a distributed interlocking system -- using RAISE 2021-05-04 Paper Stepwise development and model checking...10 bytes (18 words) - 06:35, 12 December 2023
- perfect simulation in spatial point patterns. 2004-01-26 Paper MEDEA: Software development for prediction of Mediterranean forest degraded areas 2001-07-08...10 bytes (18 words) - 02:24, 13 December 2023
- Linearized Growth Curve Model for Software Reliability Data Analysis 2013-06-19 Paper A New Criterion for the Optimal Software Release Problems: Moving Average...10 bytes (16 words) - 11:52, 12 December 2023
- algorithms and software for global optimization 2006-02-08 Paper Globally optimized calibration of nonlinear models: Techniques, software, and applications...10 bytes (18 words) - 23:23, 8 December 2023
- calculations 1991-01-01 Paper Linear algebra software on a vector computer 1989-01-01 Paper Linear algebra software in IBM and CRAY computers 1989-01-01 Paper...10 bytes (18 words) - 09:29, 12 December 2023
- 2014-03-25 Paper Foundations of algebraic specification and formal software development. 2010-12-08 Paper Observability Concepts in Abstract Data Type Specification...10 bytes (17 words) - 13:06, 12 December 2023
- Publication Date of Publication Type GOCompare 2022-12-09 Software GapAnalysis 2021-06-14 Software GapAnalysis: an R package to calculate conservation indicators...10 bytes (15 words) - 16:28, 27 February 2024
- 2020-01-29 Paper A generalized software reliability model with stochastic fault-detection rate 2019-12-30 Paper A multi-release software reliability modeling for...10 bytes (17 words) - 13:21, 12 December 2023
- stopping in software testing 2004-03-15 Paper Network reliability assessment in a random environment 2004-03-15 Paper Reliability of software with an operational...10 bytes (16 words) - 15:42, 10 December 2023
- approach to software design for attractivity requirement 2007-05-18 Paper On the polynomial dynamic system approach to software development 2007-02-20 Paper...10 bytes (17 words) - 01:56, 13 December 2023
- 2010-08-03 Paper Integrating process and project management for multi-site software development 2003-02-19 Paper...10 bytes (20 words) - 06:58, 13 December 2023
- mardi4nfdi.de/entity/Q4554399 2018-11-14 Paper A logic for the stepwise development of reactive systems 2018-09-24 Paper Languages and models for hybrid automata:...10 bytes (18 words) - 15:04, 11 December 2023
- Cube-like structures generated by filters 2006-07-12 Paper Development of computer software to simulate the structural behaviour of steel-framed buildings...10 bytes (18 words) - 02:48, 13 December 2023
