Items where Subject is "Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76 Computer software"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creator's name | Item Type | Date | No Grouping
Number of items at this level: 40.

Article

Boiten, E.A. and Schneider, S.A. (2014) Editorial: Special Issue on Cryptography and Formal Methods. Formal Aspects of Computing, 26 (1). pp. 1-2. ISSN 0934-5043 (Print) 1433-299X (Online). (The full text of this publication is not available from this repository)

Brito, P.H.S. and de Lemos, R. and Rubira, C. and Martins, E. (2009) Architecting Fault Tolerance with Exception Handling: Verification and Validation. Journal of Computer Science and Technology , 24 (2). pp. 212-237. ISSN 1000-9000. (The full text of this publication is not available from this repository)

Chadwick, David W. and Inman, George and Klingenstein, Nate (2010) A Conceptual Model for Attribute Aggregation. Future Generation Computer Systems, 26 (7). pp. 1043-1052. (The full text of this publication is not available from this repository)

Kaijian, S. and Jian, S. (1991) A relational graphical editing method for PCB design. Computer-Aided Design, 23 (1). pp. 92-94. ISSN 0010-4485. (The full text of this publication is not available from this repository)

Kilov, Haim and Linington, Peter F. and Romero, José Raúl and Tanaka, Akira and Vallecillo, Antonio (2013) The Reference Model of Open Distributed Processing: Foundations, experience and applications. Computer Standards & Interfaces, 35 (3). pp. 247-256. ISSN 0920-5489. (Access to this publication is restricted)
[img]

Korporal, Anja and Regensburger, Georg and Rosenkranz, Markus (2010) A MAPLE package for integro-differential operators and boundary problems. ACM Communications in Computer Algebra, 44 (3). pp. 120-122. ISSN 1932-2240 . (The full text of this publication is not available from this repository)

Sharifi, Mohsen and Ghafourian, Taravat (2013) Estimation of Biliary Excretion of Foreign Compounds Using Properties of Molecular Structure. The AAPS journal, 16 (1). pp. 65-78. ISSN 1550-7416. (Access to this publication is restricted)
[img]

Webber, J. Beau W. (2008) APLX version 4 - from the viewpoint of an experimental physicist. Vector (Journal of the British APL Association), 23 (3). pp. 39-45. ISSN 0955-1433. (Full text available)
[img]

Webber, J.B.W. (1989) A Pipe has two ends. Using APL in a multiprocess/multiprocessor environment. A proposal for a flexible but easy to use syntax. Apl Quad Quote, 20 (1). pp. 1-2. (Access to this publication is restricted)
[img] [img]
Preview

da Silva, Carlos Eduardo and de Lemos, R. (2011) A Framework for Automatic Generation of Processes for Self-Adaptive Software Systems. Informatica, 35 (1). pp. 3-13. ISSN 0350-5596. (The full text of this publication is not available from this repository)

de Lemos, Rogério (2009) On Architecting Software Fault Tolerance using Abstractions. Electronic Notes in Theoretical Computer Science, 236 . pp. 21-32. ISSN 1571-0661. (The full text of this publication is not available from this repository)

Book section

Korporal, Anja and Regensburger, Georg and Rosenkranz, Markus (2011) Regular and singular boundary problems in Maple. In: Gerdt, V.P. and Koepf, W. and Mayr, E.W. and Vorozhtsov, E.V., eds. Proceedings of the 13th International Workshop on Computer Algebra in Scientific Computing (CASC'11). Lecture Notes in Computer Science, 6885 . Springer, Berlin, pp. 280-293. ISBN 978-3-642-23567-2 . (The full text of this publication is not available from this repository)

Poole, M. (1995) Using records and pointers with occam 2.1. In: Nixon, P. and Transputer User, Grp, eds. Transputer and Occam Developments. Transputer & Occam Engineering Series, 44 . IOS Press, Amsterdam, pp. 151-162. ISBN 90-5199-222-X. (The full text of this publication is not available from this repository)

Rosenkranz, Markus and Phisanbut, Nalina (2013) A Symbolic Approach to Boundary Problems for Linear Partial Differential Equations: Applications to the Completely Reducible Case of the Cauchy Problem with Constant Coefficients. In: Proceedings of the 15th International Workshop on Computer Algebra in Scientific Computing (CASC'13). Lecture Notes in Computer Science, 8136 . Springer, Berlin. ISBN TBC. (In press) (The full text of this publication is not available from this repository)

Monograph

Lamela Seijas, Pablo and Li, Huiqing and Thompson, Simon (2013) Towards Property-Based Testing of RESTful Web Services. Technical report. School of Computing, University of Kent (Unpublished) (Full text available)
[img]
Preview

Conference or workshop item

Berry, Michael and Kölling, Michael (2013) The design and implementation of a notional machine for teaching introductory programming. In: The 8th Workshop in Primary and Secondary Computing Education (WiPSCE 2013), Nov 2013, Aarhus, Denmark. (Full text available)
[img]
Preview

Brito, P.H.S. and de Lemos, R. and Rubira, C.M.F. (2009) Verifying Architectural Variabilities in Software Fault Tolerance Techniques. In: Joint Working IEEE/IFIP Conference on Software Architecture 2009 (WICSA 2009) & European Conference on Software Architecture 2009 (ECSA 2009), 14th - 17th September 2009, Cambridge, UK. (The full text of this publication is not available from this repository)

Brown, Neil C. C. and Kölling, Michael (2013) A Tale of Three Sites: Resource and Knowledge Sharing Amongst Computer Science Educators. In: Ninth Annual International Computing Education Research Conference (ICER), Aug 2013, San Diego, USA. (Full text available)
[img]
Preview

Cámara, Javier and de Lemos, R. (2012) Evaluation of Resilience in Self-Adaptive Systems Using Probabilistic Model-Checking. In: 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2012), June 2012, Zurich, Switzerland. (The full text of this publication is not available from this repository)

Fabris, Fabio and Drago, Idilio and Varejao, Flavio M. (2008) A Multi-measure Nearest Neighbor Algorithm for Time Series Classification. In: Advances in Artificial Intelligence – IBERAMIA 2008. Lecture Notes in Computer Science, 5290. Springer Berlin Heidelberg pp. 153-162. (The full text of this publication is not available from this repository)

Kalibera, Tomas and Jones, Richard (2013) Rigorous Benchmarking in Reasonable Time. In: ACM SIGPLAN International Symposium on Memory Management (ISMM 2013), 20-12 June, 2013, Seattle, Washington, USA. (Full text available)
[img]
Preview

Linington, Peter F. and Miyazaki, Hiroshi and Vallecillo, Antonio (2012) Obligations and Delegation in the ODP Enterprise Language. In: EDOC Workshops 2012: VORTE, September 10-14 2012, Beijing, China. (Access to this publication is restricted)
[img]

McKay, Fraser and Kölling, Michael (2013) Predictive Modelling for HCI Problems in Novice Program Editors. In: BCS HCI 2013 - The Internet of Things XXVII, 11-13 September 2013, London, UK. (Full text available)
[img]
Preview

Micallef, Luana and Rodgers, Peter (2012) Poster: Drawing Area-Proportional Venn-3 Diagrams Using Ellipses. In: 2012 Grace Hopper Celebration of Women in Computing, ACM Student Research Competition and Poster Session, October 2012, Baltimore, MD, USA. (Full text available)
[img]
Preview

Sobhy, M.I. and Makkey, M.Y. (1998) A new look at analogue computing using switched capacitor circuits. In: ISCAS '98 - Proceedings of the 1998 International Symposium on Circuits and Systems. IEEE, 345 E 47th St, New York, NY 10017 USA , New York pp. 484-487. ISBN 0-7803-4455-3. (The full text of this publication is not available from this repository)

Steen, M. and Derrick, J. and Boiten, E.A. and Bowman, H. (1999) Consistency of partial process specifications. In: 7th International Conference on Algebraic Methodology and Software Technology (AMAST 98), Jan 04-08, 1999, Amazonia, Brazil. (Full text available)
[img]
Preview
[img]
Preview

Tardivel, G.M. and Morse, D.R. (1998) The role of the user in computer-based species identification. In: Bridge, P. and Jeffries, P. and Morse, D.R. and Scott, P.R., eds. Information technology, plant pathology and biodiversity. Cabi Publishing-CAB Int, Oxon, England pp. 247-259. ISBN 0-85199-217-X. (The full text of this publication is not available from this repository)

Walczowski, L.T. and Ellis, M.K. (2008) Using Web 2.0 Technology to Support Learning and Teaching. In: 2nd International Multi-Conference on Society, Cybernetics and Informatics, June 29th - July 2nd 2008, Orlando, Florida, USA. (The full text of this publication is not available from this repository)

Walczowski, L.T. and Elllis, M.K. (2008) A Novel Learning Management Portal to Support Engineering and Technology Education. In: 2008 International Technology, Education and Development Conference, March 3rd - 5th 2008, Valencia, Spain. (The full text of this publication is not available from this repository)

Wood, D.C. and Moores, J. (1999) User-defined data types and operators in occam. In: 22nd World-Occam-and-Transputer-User-Group Technical Meeting (WoTUG-22), April 11-14, 1999, Keele, England. (Full text available)
[img]
Preview

de Oliveira, Marcelo V. and Wandekokem, Estefhan D. and Mendel, Eduardo and Fabris, Fabio and Varejao, Flavio M. and Rauber, Thomas W. and Batista, Rodgrigo (2010) A Comparison of Two Feature-Based Ensemble Methods for Constructing Motor Pump Fault Diagnosis Classifiers. In: 2010 22nd IEEE International Conference on Tools with Artificial Intelligence. pp. 417-420. (The full text of this publication is not available from this repository)

de Oliveira Marcelo, V. and Estefhan, D. Wandekokem and Mendel, Eduardo and Fabris, Fabio and Flavio, M. Varejao and Thomas, W. Rauber and Rodrigo, J. Batista (2010) Constructing feature-based ensemble classifiers for real-world machines fault diagnosis. In: IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society. pp. 1099-1104. (The full text of this publication is not available from this repository)

Book

Derrick, J. and Boiten, Eerke A. (2014) Refinement in Z and Object-Z: Foundations and Advanced Applications (2nd revised edition). Springer, London Heidelberg New York Dordrecht, 510 pp. ISBN 978-1-4471-5354-2. (Full text available)
[img]
Preview

Lowe, B. and Winzar, H. and Ward, S. (2007) Essentials of SPSS for Windows Versions 14 and 15: A Business Approach. Cengage Learning, Australia, 158 pp. ISBN 9780170134651. (The full text of this publication is not available from this repository)

Patent

NCR Corporation (Dayton, OH) (2009) A Method of Determining the Cause of an Error State in an Apparatus. US Patent 7,600,671. (The full text of this publication is not available from this repository)

Edited book

de Lemos, Rogério and Fabre, Jean-Charles and Gacek, Cristina and Gadducci, Fabio and ter Beek, Maurcie H., eds. (2009) Architecting Dependable Systems VI. Lecture Notes in Computer Science, 5835 . Springer, 335 pp. ISBN 9783642102479. (The full text of this publication is not available from this repository)

Casimiro, Antonio and de Lemos, Rogério and Gacek, Cristina, eds. (2010) Architecting Dependable Systems VII. Lecture Notes in Computer Science, 6420 . Springer, 324 pp. ISBN 9783642172441. (The full text of this publication is not available from this repository)

Cook, S.J., ed. (1989) ECOOP'89: Proceedings of the 1989 European Conference on Object-oriented Programming. Cambridge University Press (The full text of this publication is not available from this repository)

Weyns, Danny and Malek, Sam and de Lemos, Rogério and Andersson, Jesper, eds. (2010) Self-Organizing Architectures. Lecture Notes in Computer Science, 6090 . Springer, 301 pp. ISBN 9783642144110. (The full text of this publication is not available from this repository)

Cheng, Betty H.C. and de Lemos, Rogério and Giese, Holger and Inverardi, Paola and Magee, Jeff, eds. (2009) Software Engineering for Self-Adaptive Systems. Lecture Notes in Computer Science/Programming and Software Engineering, 5525 . Springer, 261 pp. ISBN 9783642021602. (The full text of this publication is not available from this repository)

This list was generated on Sat Apr 19 00:28:16 2014 BST.