Výsledky vyhledávání - "General topics in the theory of software"

Study of aggregation algorithms for aggregating imprecise software requirements’ priorities: Study of aggregation algorithms for aggregating imprecise software requirements' priorities

Autoři: A. Vinaya Babu Persis Voola

Zdroj: European Journal of Operational Research. 259:1191-1199

Témata: Management decision making, including multiple objectives, 4. Education, 0211 other engineering and technologies, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 02 engineering and technology, multiple attribute utility theory, requirements prioritization, interval evidential reasoning, uncertain assessment

Popis souboru: application/xml

Přístupová URL adresa: http://www.sciencedirect.com/science/article/pii/S0377221716309651
https://www.sciencedirect.com/science/article/pii/S0377221716309651
https://dblp.uni-trier.de/db/journals/eor/eor259.html#VoolaB17

Towards software design automation with patterns

Autoři: Sikici A. Topaloglu N.Y.

Témata: Software reuse, software development, General topics in the theory of software, Design patterns, Components, design patterns

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1719362
https://hdl.handle.net/11454/23181

Estetyka czasu wolnego: The power of the lambda abstraction strategy for program derivation

Autoři: Andrzej Skowron Alberto Pettorossi

Zdroj: The Polish Journal of Aesthetics, Vol 25, Iss 2/2012, Pp 263-272 (2012)

Témata: 4. Education, lambda abstraction strategy, Aesthetics, reverse function, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 3. Good health, 12. Responsible consumption, program derivation, 11. Sustainability, 8. Economic growth, 0202 electrical engineering, electronic engineering, information engineering, BH1-301

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/4117819
https://doaj.org/article/aa399f7dcc764e36897cb126a65d921c
https://dblp.uni-trier.de/db/journals/eik/eik25.html#PettorossiS89

Towards a user-controlled software renovation factory

Autoři: Brunekreef, J.J. Diertens, B. Verhoef, C. a další

Přispěvatelé: Brunekreef, J.J. Diertens, B. Verhoef, C. a další

Zdroj: Proceedings of the Third European Conference on Software Maintenance and Reengineering (Cat. No. PR00090). :83-90

Témata: Computing methodologies and applications, software renovation, Re-engineering, Software renovation, software factory, 0202 electrical engineering, electronic engineering, information engineering, Software factory, re-engineering, General topics in the theory of software, 02 engineering and technology, practice report, Software, Practice report

Popis souboru: application/xml

Přístupová URL adresa: https://dare.uva.nl/personal/pure/en/publications/toward-a-usercontrolled-software-renovation-factory(fab1292a-6efe-4c3a-adb2-bc02d793c225).html
https://hdl.handle.net/11245/1.164936
https://dblp.uni-trier.de/db/journals/scp/scp45.html#BrunekreefD02
https://www.computer.org/csdl/proceedings-article/csmr/1999/00900083/12OmNCwlahb
https://www.sciencedirect.com/science/article/abs/pii/S0167642302000606
https://ieeexplore.ieee.org/document/756685/
https://www.sciencedirect.com/science/article/pii/S0167642302000606

Minimizing the maximum starting time on-line

Autoři: Epstein, Leah Stee, Rob van

Zdroj: Lecture Notes in Computer Science ISBN: 9783540441809

Témata: Computational Theory and Mathematics, 0211 other engineering and technologies, General topics in the theory of software, scheduling, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Performance evaluation, queueing, and scheduling in the context of computer systems, Theoretical Computer Science, Information Systems, Computer Science Applications

Popis souboru: application/xml

Přístupová URL adresa: https://ir.cwi.nl/pub/4278/04278D.pdf
https://dblp.uni-trier.de/db/conf/esa/esa2002.html#EpsteinS02
https://core.ac.uk/display/24589728
https://link.springer.com/chapter/10.1007%2F3-540-45749-6_41
https://ir.cwi.nl/pub/4278
https://ir.cwi.nl/pub/4278/04278D.pdf
https://www.sciencedirect.com/science/article/pii/S089054010400135X#!
https://rd.springer.com/chapter/10.1007/3-540-45749-6_41
https://core.ac.uk/display/81932975
https://www.sciencedirect.com/science/article/abs/pii/S089054010400135X

Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs

Autoři: DI MARTINO, Beniamino MAZZEO A. MAZZOCCA N. a další

Zdroj: Science of Computer Programming. 40:235-263

Témata: re-engineering of parallel programs, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 02 engineering and technology, Software

Popis souboru: application/xml

Přístupová URL adresa: http://hdl.handle.net/11588/174096
http://hdl.handle.net/11588/153180
http://hdl.handle.net/11588/153132
https://www.sciencedirect.com/science/article/pii/S016764230100017X
https://iris.unisannio.it/handle/20.500.12070/94
https://www.ding.unisannio.it/bibtex/Villano-a.13/villano/
https://dblp.uni-trier.de/db/journals/scp/scp40.html#MartinoMMV01
https://hdl.handle.net/11588/174096
https://hdl.handle.net/11588/153180
https://hdl.handle.net/11588/153132
https://hdl.handle.net/11591/193589

Requirements-Based Estimation of Change Costs: Requirements-based estimation of change costs

Autoři: LAVAZZA, LUIGI ANTONIO G. VALETTO

Zdroj: Empirical Software Engineering. 5:229-243

Témata: Computing methodologies and applications, requirements management, software process modeling, cost estimation, 9. Industry and infrastructure, change management, Requirements management, software process modelling, software measurement, General topics in the theory of software

Popis souboru: application/xml

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/ese/ese5.html#LavazzaV00
http://www.dista.uninsubria.it/~luigi.lavazza/papers/JESE2000.PDF
http://www.dicom.uninsubria.it/~luigi.lavazza/papers/EASE2000.PDF
https://dl.acm.org/doi/10.1023/A%3A1026590615963
https://link.springer.com/content/pdf/10.1023/A:1026590615963.pdf
https://link.springer.com/article/10.1023/A:1026590615963
https://hdl.handle.net/11383/1791250
https://hdl.handle.net/11383/7034

Software Implementation Strategies for Power-Conscious Systems: Software implementation strategies for power-conscious systems

Autoři: Kshirasagar Naik David S. L. Wei

Zdroj: Mobile Networks and Applications. 6:291-305

Témata: Computing methodologies and applications, energy saving, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 02 engineering and technology, implementation, software design, 7. Clean energy

Popis souboru: application/xml

Přístupová URL adresa: https://rd.springer.com/article/10.1023/A%3A1011487018981
https://dl.acm.org/doi/10.1023/A%3A1011487018981
https://dblp.uni-trier.de/db/journals/monet/monet6.html#NaikW01
https://link.springer.com/article/10.1023/A%3A1011487018981
https://doi.org/10.1023/A:1011487018981

requirements based estimation of change costs: Requirements-based estimation of change costs

Autoři: LAVAZZA, LUIGI ANTONIO G. VALETTO

Zdroj: Empirical Software Engineering. 5(3):229-243

Témata: Computing methodologies and applications, requirements management, software process modeling, cost estimation, change management, Requirements management, software process modelling, software measurement, General topics in the theory of software

Popis souboru: application/xml

Přístupová URL adresa: https://dblp.uni-trier.de/db/journals/ese/ese5.html#LavazzaV00
http://www.dista.uninsubria.it/~luigi.lavazza/papers/JESE2000.PDF
http://www.dicom.uninsubria.it/~luigi.lavazza/papers/EASE2000.PDF
https://dl.acm.org/doi/10.1023/A%3A1026590615963
https://link.springer.com/content/pdf/10.1023/A:1026590615963.pdf
https://link.springer.com/article/10.1023/A:1026590615963
https://hdl.handle.net/11383/1791250
https://hdl.handle.net/11383/7034

Higher-order matching for program transformation

Autoři: Oege de Moor Ganesh Sittampalam

Zdroj: Lecture Notes in Computer Science ISBN: 9783540666776

Témata: automatic program transformation, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1715643
https://doi.org/10.1016/s0304-3975(00)00402-3
https://core.ac.uk/display/23581303
https://link.springer.com/chapter/10.1007/10705424_14
https://rd.springer.com/chapter/10.1007/10705424_14
https://urchin.earth.li/~ganesh/thesis.pdf
https://dblp.uni-trier.de/db/conf/flops/flops99.html#MoorS99

Stabilization-Preserving Atomicity Refinement: Stabilization-preserving atomicity refinement

Autoři: Anish Arora Mikhail Nesterenko

Zdroj: Lecture Notes in Computer Science ISBN: 9783540665311

Témata: 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, Nonnumerical algorithms, 01 natural sciences, program refinements

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1815518
https://doi.org/10.1006/jpdc.2001.1828
https://link.springer.com/chapter/10.1007/3-540-48169-9_18
https://link.springer.com/content/pdf/10.1007%2F3-540-48169-9_18.pdf
https://doi.org/10.1007/3-540-48169-9_18
https://dblp.uni-trier.de/db/conf/wdag/disc99.html#NesterenkoA99
https://rd.springer.com/chapter/10.1007/3-540-48169-9_18
https://core.ac.uk/display/22834686

Linear Consistency Testing: Linear-consistency testing.

Autoři: Michael O. Rabin Madhu Sudan Yonatan Aumann a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540663294

Témata: linearity testing, Computational Theory and Mathematics, Computer Networks and Communications, Applied Mathematics, General topics in the theory of software, 0102 computer and information sciences, 0101 mathematics, probabilistically checkable proofs, 01 natural sciences, Theorem proving (deduction, resolution, etc.), Theoretical Computer Science

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1658196
https://doi.org/10.1006/jcss.2001.1747
http://www.csc.kth.se/tcs/projects/publications/ahrs.pdf
https://link.springer.com/chapter/10.1007/978-3-540-48413-4_11
http://people.csail.mit.edu/madhu/papers/1999/ahrs-conf.pdf
https://www.csc.kth.se/tcs/projects/publications/ahrs.pdf
http://www.diva-portal.org/smash/record.jsf?pid=diva2:339478
https://dblp.uni-trier.de/db/journals/jcss/jcss62.html#AumannHRS01

Eliminating Dead Code on Recursive Data: Eliminating dead code on recursive data.

Autoři: Scott D. Stoller Yanhong A. Liu

Zdroj: Lecture Notes in Computer Science ISBN: 9783540664598

Témata: Constraints, Dead-code elimination, 0202 electrical engineering, electronic engineering, information engineering, Program analysis, General topics in the theory of software, Regular-tree grammars, 0102 computer and information sciences, 02 engineering and technology, Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science), Recursive data structures, 01 natural sciences, Slicing, Software

Popis souboru: application/xml

Přístupová URL adresa: http://www.cs.sunysb.edu/~stoller/papers/SAS99.pdf
https://zbmath.org/1961604
https://doi.org/10.1016/s0167-6423(02)00134-x
https://rd.springer.com/chapter/10.1007/3-540-48294-6_14
https://www3.cs.stonybrook.edu/~stoller/papers/ElimDeadRec.pdf
http://www.cs.indiana.edu/pub/techreports/TR517.pdf
https://dblp.uni-trier.de/db/conf/sas/sas99.html#LiuS99
https://core.ac.uk/display/24240070
https://www.cs.indiana.edu/ftp/techreports/TR517.pdf
https://dblp.uni-trier.de/db/journals/scp/scp47.html#LiuS03
https://www.sciencedirect.com/science/article/abs/pii/S016764230200134X
https://www.sciencedirect.com/science/article/pii/S016764230200134X

Set constraints in some equational theories

Autoři: Witold Charatonik

Zdroj: Lecture Notes in Computer Science ISBN: 354058403X

Témata: Computational Theory and Mathematics, Theory of programming languages, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Information Systems, Computer Science Applications

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1220926
https://doi.org/10.1006/inco.1997.2692
http://www.sciencedirect.com/science/article/pii/S0890540197926924
https://www.sciencedirect.com/science/article/pii/S0890540197926924
http://pubman.mpdl.mpg.de/pubman/item/escidoc:1331450
https://core.ac.uk/display/45786487
https://pure.mpg.de/pubman/faces/ViewItemOverviewPage.jsp?itemId=item_1331450
https://dblp.uni-trier.de/db/journals/iandc/iandc142.html#Charatonik98
https://link.springer.com/chapter/10.1007/BFb0016862
https://link.springer.com/content/pdf/10.1007%2FBFb0016862.pdf
https://dblp.uni-trier.de/db/conf/ccl/ccl94.html#Charatonik94
https://rd.springer.com/chapter/10.1007/BFb0016862

Cut and Paste: Cut and paste

Autoři: MECCA, Giansalvatore ATZENI P. Mecca, Giansalvatore a další

Přispěvatelé: MECCA, Giansalvatore ATZENI P. Mecca, Giansalvatore a další

Zdroj: Journal of Computer and System Sciences. 58:453-482

Témata: EDITOR, Computing methodologies for text processing, mathematical typography, Computational Theory and Mathematics, Computer Networks and Communications, Applied Mathematics, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1359922
https://doi.org/10.1006/jcss.1999.1623
https://dblp.uni-trier.de/db/journals/jcss/jcss58.html#MeccaA99
https://www.sciencedirect.com/science/article/pii/S0022000099916239
http://dblp.uni-trier.de/db/journals/jcss/jcss58.html#MeccaA99
https://core.ac.uk/display/54614995
http://core.ac.uk/display/24246514
http://portal.acm.org/citation.cfm?doid=263661.263678
https://iris.uniroma3.it/handle/11590/134379
https://dl.acm.org/doi/10.1145/263661.263678
https://hdl.handle.net/11590/134379
https://doi.org/10.1006/jcss.1999.1623

Basic observables for processes

Autoři: BOREALE, MICHELE R. DE NICOLA PUGLIESE, ROSARIO a další

Přispěvatelé: BOREALE, MICHELE R. DE NICOLA PUGLIESE, ROSARIO a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540631651

Témata: 9. Industry and infrastructure, QA75 Electronic computers. Computer science, Theory of programming languages, must preorder, Process calculus, Basic Observables, functional programming, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, Theoretical Computer Science, Computer Science Applications, Concurrency theory, Process Algebras, Observational Semantics, Computational Theory and Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Information Systems

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: https://zbmath.org/1283686
https://doi.org/10.1006/inco.1998.2755
https://hdl.handle.net/2158/310070
https://doi.org/10.1006/inco.1998.2755

Tractable constraints in finite semilattices

Autoři: Rehof, Niels Jakob Mogensen, Torben Ægidius

Zdroj: Lecture Notes in Computer Science ISBN: 9783540617396

Témata: definite inequality constraints, Horn-clauses, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, meet-semilattice, 01 natural sciences, Software

Popis souboru: application/xml

Přístupová URL adresa: https://zbmath.org/1383535
https://doi.org/10.1016/s0167-6423(99)00011-8
https://dblp.uni-trier.de/db/conf/sas/sas96.html#RehofM96
https://rd.springer.com/chapter/10.1007/3-540-61739-6_48
http://www.cse.psu.edu/~trj1/cse598-f11/docs/rm.pdf
https://link.springer.com/chapter/10.1007/3-540-61739-6_48
https://core.ac.uk/display/23162491
https://dblp.uni-trier.de/db/journals/scp/scp35.html#RehofM99
https://www.sciencedirect.com/science/article/pii/S0167642399000118
https://www.sciencedirect.com/science/article/abs/pii/S0167642399000118

Generalized dominators for structured programs

Autoři: Alstrup, Stephen Lauridsen, Peter W Thorup, Mikkel

Zdroj: Lecture Notes in Computer Science ISBN: 9783540617396

Témata: Graph theory (including graph drawing) in computer science, 0202 electrical engineering, electronic engineering, information engineering, control flow graphs of structured programs, General topics in the theory of software, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis souboru: application/xml

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/3-540-61739-6_32
https://link.springer.com/content/pdf/10.1007%2F3-540-61739-6_32.pdf
https://link.springer.com/chapter/10.1007/3-540-61739-6_32
http://core.ac.uk/display/24297289
https://dblp.uni-trier.de/db/conf/sas/sas96.html#AlstrupLT96
https://dblp.uni-trier.de/db/journals/algorithmica/algorithmica27.html#AlstrupLT00
https://link.springer.com/article/10.1007/s004530010018

Positive recursive type assignment

Autoři: Paweł Urzyczyn

Zdroj: Lecture Notes in Computer Science ISBN: 9783540602460

Témata: positive recursive types, 4. Education, type constraints, 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, 02 engineering and technology, 0101 mathematics, 01 natural sciences, Lambda calculus

Popis souboru: application/xml

Přístupová URL adresa: https://content.iospress.com:443/download/fundamenta-informaticae/fi28-1-2-13?id=fundamenta-informaticae%2Ffi28-1-2-13
https://zbmath.org/978248
https://content.iospress.com/articles/fundamenta-informaticae/fi28-1-2-13
https://dblp.uni-trier.de/db/journals/fuin/fuin28.html#Urzyczyn96
https://dblp.uni-trier.de/db/conf/mfcs/mfcs95.html#Urzyczyn95
https://link.springer.com/content/pdf/10.1007%2F3-540-60246-1_144.pdf
https://link.springer.com/chapter/10.1007%2F3-540-60246-1_144
https://rd.springer.com/chapter/10.1007/3-540-60246-1_144

Precise interprocedural dataflow analysis with applications to constant propagation

Autoři: Susan Horwitz Thomas Reps Shmuel Sagiv

Zdroj: Lecture Notes in Computer Science ISBN: 9783540592938

Témata: 0202 electrical engineering, electronic engineering, information engineering, General topics in the theory of software, Theory of compilers and interpreters, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Popis souboru: application/xml

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F3-540-59293-8_226.pdf
https://zbmath.org/983441
https://doi.org/10.1016/0304-3975(96)00072-2
https://link.springer.com/chapter/10.1007%2F3-540-59293-8_226
https://rd.springer.com/chapter/10.1007/3-540-59293-8_226
https://dblp.uni-trier.de/db/conf/tapsoft/tapsoft95.html#SagivRH95
https://core.ac.uk/display/5073179
https://link.springer.com/content/pdf/10.1007%2F3-540-59293-8_226.pdf