Alves (2003) Mário Alves. Real-Time Communications over Hybrid Wired/Wireless PROFIBUS- Based Networks. Tesis doctoral, febrero 2003.
|
|
- Christal Black
- 8 years ago
- Views:
Transcription
1 REFERENCIIAS CAPÍTULO 1 Alves (2003) Mário Alves. Real-Time Communications over Hybrid Wired/Wireless PROFIBUS- Based Networks. Tesis doctoral, febrero ASI (1990) Actuator/Sensor Interface. EN 50295, IEC 62026/2 Balbastre (2002) Patricia Balbastre. Modelo de tareas para la integración del control y la planificación en sistemas de tiempo real. Tesis doctoral, Universitat Politècnica de València, Balbastre et al (2000) P. Balbastre, I. Ripoll, A. Crespo. Control Task Delay Reduction under Static and Dynamic Scheduling Policies. 7th International Conference on Real-Time Computing Systems and Applications (RTCSA 2000). Cheju Island, Corea del Sur. Balbastre y Ripoll (2002) Patricia Balbastre, Ismael Ripoll. Schedulability analysis of window-constrained execution time tasks for real-time control. Proceedings of Euromicro Conference on Real-Time Systems, Vienna Bennett (1979) Stuart Bennett. A history of control engineering IEEE Control Engineering series 8, Peter Peregrinus Ltd, Bennet (1988) Stuart Bennet. Real-Time Computer Control: An Introduction. Prentice Hall International, Series in Systems and Control Engineering, Bennett (1993) Stuart Bennett. A history of control engineering IEEE Control Engineering series 47, Peter Peregrinus Ltd., Boehm (1988) B. Boehm. A Spiral Model for Software Development and Enhacement. Computer, vol. 21, nº 5, pp , mayo Brooks (1975) F. Brooks. The Mytical Man-Month. Addison-Wesley, Burns y Wellings (2003) Alan Burns y Andy Wellings. Sistemas de Tiempo Real y Lenguajes de Programación. Addison Wesley, 2003.
2 CAN (1991) Controller Area Network. Bosch CAN specification, V 2.0 PartA. R. Bosch Gmbh, Crespo et al (1994) Crespo, V. Botti, F. Barber, D. Gallardo, E. Onaindia. A Temporal Blackboard for real-time process control. Journal of Engineering Applications of Artificial Intelligence. Vol 7. Nº 3, junio Pp DOCE (2002) Diario Oficial de las Comunidades Europeas L294/1-43. Programa específico de investigación, desarrollo tecnológico y demostración denominado «Integración y fortalecimiento del Espacio Europeo de la Investigación» ( ). (2002/834/CE) Dyer (1992) M. Dyer. The Cleanroom Approach to Quality Software Development. Wiley, FF (1997) Foundation Fieldbus. EN 50170/A, IEC Type 1. Heck et al (2003) Bonnie S. Heck, Linda M. Wills, George J. Vachtsevanos. Software Technology for Implementing Reusable, Distributed Control Systems. IEEE Control Systems Magazine, pp , febrero Hughes (1990) John Hughes. Why Functional Programming Matters. In D. Turner, editor, Research Topics in Functional Programming. Addison Wesley, IEEE (1993) IEEE. Standards Collection: Software Engineering. IEEE Standard , IEEE 1993 ISO (1978) International Organization for Standardization. Open Systems Interconnection-Basic Reference Model. ISO 7498, Kerr y Hunter (1994) J. Kerr y R. Hunter. Inside RAD. McGraw Hill, Kuo (1996) Benjamin C. Kuo. Sistemas de Control Automático. Séptima Edición. Prentice Hall Hispanoamericana, Laplante (1997) Phillip A. Laplante. Real-Time Systems Design and Analysis. IEEE Press, Lian (2001) Feng-Li Lian. Analysis, Design, Modeling, and Control of Networked Control Systems. Tesis doctoral, The University of Michigan, mayo Lian et al (2001) Feng-Li Lian, James R. Moyne, and Dawn M. Tilbury, Performance evaluation of control networks: Ethernet, ControlNet, and DeviceNet. IEEE Control Systems Magazine, Vol. 21, No. 1, Page(s): 66-83, febrero 2001.
3 Martí (2002) Pau Martí. Analysis and Design of Real-Time Control Systems with Varying Control Timing Constraints. Tesis doctoral, Universitat Politècnica de Catalunya, Mazzocchi (2003) Stefano Mazzocchi. Introduccing Cocoon. McDermid y Rook (1993) J. McDermid y P. Rook. Software Development Process Model. Software Engineer s Reference Book, CRC Press, pp. 15/26-15/28, Murray et al (2003) Richard M. Murray, Karl J. Åström, Stephen P. Boyd, Roger W. Brockett, Gunter Stein. Future Directions in Control in an Information-Rich World. IEEE Control Systems Magazine, pp , abril Ogata (1998) Katsuhiko Ogata. Ingeniería de Control Moderna. Tercera Edición. Prentice Hall Hispanoamericana, Otanez (2002) Paul Otanez. Performance Optimization of Networked Control Systems. Tesis doctoral, The University of Michigan, abril Palencia (1999) José Carlos Palencia Gutiérrez. Análisis de planificabilidad de sistemas distribuidos de tiempo real basados en prioridades fijas. Tesis doctoral, Universidad de Cantabria, Palencia y González Harbour (2003) J.C. Palencia and M. González Harbour. Offset-Based Response Time Analysis of Distributed Systems Scheduled under EDF. Proceedings of Euromicro Conference on Real-Time Systems (ECRTS03), Porto, Portugal, July Pimentel (1990) Juan R. Pimentel. Communication networks for manufacturing. Prentice-Hall Internacional Editions, Pinto (1999) Jim Pinto. The Great Fieldbus debate - is Over!. Industrial Controls Intelligence, noviembre Presman (2002) Roger S. Pressman. Ingeniería del Software. Un enfoque práctico. (5ª edición) Editorial McGraw Hill, PROFIBUS (1992) PROcess Field BUS. Profibus Standard. DIN19245 part I and II, EN , Rajkumar (1991) Ragunathan Rajkumar. Synchronization in real-time systems. A priority inheritance approach. Kluwer academic publishers, Royce (1970) W. W. Royce. Managing the development of large software systems: concepts and techniques. Proceedings WESCON, agosto 1970.
4 Sáez et al (2000) Sergio Sáez, Joan Vila and Alfons Crespo. On Accepting Aperiodic Transactions in Distributed Systems. Proceedings of 7th International Conference on Real-Time Computing Systems and Applications. Cheju-do, South Korea, diciembre Sink (2002) Sink P. Industrial Ethernet: A Pocket Guide. ISA Press, 2002 Sommerville (1992) Ian Sommerville. Software Engineering. Fourth edition. Addison-Wesley, Spyevy (1992) J. M. Spyevy. The Z Notation: A Reference Manual. Prentice-Hall, Tindell et all (1995) K. Tindell, A. Burns and A.J. Wellings. Analysis of Hard Real-Time Communications. Real-Time Systems, Vol. 9(2), pp , Kluwer Academic Publishers, September Tindell y Burns (1994) Tindell, K. and Burns, A. Guaranteeing Message Latencies on Controller Area Network (CAN). Proceedings 1 st International CAN Conference, pp. 2-11, Mainz (Germany), September Tindell y Clark (1994) Tindell, K. and Clark, J. Holistic schedulability analysis for distributed hard real-time systems. Microprocessing & Microprogramming, Vol. 50 Nºs 2-3, pp , Abril Törngren (1998) Martin Törngren. Fundamentals of implementing real-time control applications in distributed computer systems. Real-Time systems, Kluwer Academic Publishers, vol 14, , nº 3, mayo Tovar (1999) Eduardo Tovar. Supporting Real-Time Communications with Standard Factory-Floor Networks. Tesis doctoral, The Polytechnic Institute of Porto, mayo Yook et al (2000) J. K. Yook, D. M. Tilbury, N. R. Soparkar. A Design Methodology for Distributed Control Systems to Optimize Performance in the Presence of Time Delays. Proceedings of the American Control Conference, Chicago, June 2000.
5 CAPÍTULO 2 Agha (1986) Agha G. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge,MA, Aho et al (1986) A.V. Aho, R. Sethy, J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, Reading, MA, segunda edición, ANSI/IEEE (2000) ANSI/IEEE Recommended Practice for Architectural Description of Software Intensive System, octubre Award et al (1996) Awad, M., Kuusela J, Jurgen Ziegler. Object Oriented Technology for Real-Time Systems. Prentice Hall Bass et al (1994) Bass, J. M., A. R. Browne, M. S. Hajji, D. G. Marriott, P. R. Croll and P. J. Fleming. Automating the Development of Distributed Control Software. IEEE Parallel and Distributed Technology, Vol. 2, No. 4, Winter 1994, pp Boehm (1989) Boehm, B. W. Verifying and Validating Software Requirements and Design Specifications. Software Risk Management,IEEE Computer Society Press, pp , Browne et al (1996) Browne, A. R., J. M. Bass, M. S. Hajji, P. R. Croll and P. J. Fleming. A Prototype Development Framework for Parallel Real-Time Control Software. Transputer Communications, special issue on CASE for parallel systems, Vol 3, No. 1, January 1996, pp Burns y Wellings (1995) Burns, A., Wellings A. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. Real-time Safety Critical Systems. Vol. 3. Elsevier Egyed (2000) Egyed A.F. Heterogeneous View Integration and its Automation. Tesis doctoral. University of Southern California. Agosto Grose et al (2002) Timothy J. Grose, Gary C. Doney, Stephen A. Brodsky. Mastering XMI. Java programming with XMI, XML and UML. OMG Press, Wiley, Hajji et al (1997) Hajji, M.S., J. M. Bass, A. R. Browne and P. J. Fleming. Design Tools for Hybrid Control Systems. Int. Workshop on Hybrid and Real-Time Systems, HART 97, Oded Maler (Ed.), Grenoble, France, LNCS 1201, Springer-Verlag, March 1997, pp Harel et al (1990) Harel, D., H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull- Trauring and M. Trakhtenbrot, STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Transactions on Software Engineering, Vol. 16, pp , 1990.
6 Hopcroft et al (2000) J.E. Hopcroft, R. Motwani, J. Ullman. Introduction to autómata theory, languages and computation, 2 nd edition. Addison Wesley,2000. Hylands et al (2003) Hylands C., Lee E., Liu J., Liu X., Neuendorffer S., Xiong Y., Zhao Y., Zheng H. Overview of the PTOLEMY project. Technical Memorandum UCB/ERL M03/25. Julio Jacobson et al (2000) Ivar Jacobson, Grady Booch, James Rumbaugh. El Proceso Unificado de Desarrollo de Software. Addison Wesley, Kruchten (1995) Kruchten, P. The 4+1 View Model of Architecture. IEEE Software 12(6): Lee (2000) Edward A. Lee. What's Ahead for Embedded Software?. IEEE Computer Magazine, Septiembre 2000, pp Locke (1999) Locke C.D. An Architectural Perspective of Real-Time Ada Applications. Reliable Software Technologies- Ada Europe 99. Lecture Notes in Computer Science Springer Verlag, Mazzini et al (2003) Mazzini S., D'Alessandro M., Di Natale M., Domenici A., Lipari G., Vardanega T.. HRT-UML: Taking HRT-HOOD onto UML. 8th International Conference on Reliable Software Technologies, Ada-Europe 2003, Toulouse, Francia, junio McDermid (1993) J. McDermid. Formal Methods: Use and relevance for the development of safety critical systems. Safety Aspects of Computer Control, Ed P A Bennett, Butter-worth Heinemann, Medvidovic y Taylor (2000) Medvidovic N. y Taylor R.N. A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Transactions on Software Engineering, vol. 26, no. 1. Enero Millar y Mukerji (2001) Millar J y Mukerji J. Model Driven Architecture (MDA). OMG, ormsc/ , Architecture Board ORMSC1, Julio Moore y Cooling (2000) A. Moore, N. Cooling. Developing real-time Systems using Object Technology. Foundation and Overview version OMG (2003) OMG. Final draft of the Schedulability Profile. ptc/ , 2 de marzo Paulk et al (1995) Paulk, M. C., Weber, C. V., Curtis, B., and Chrissis, M. B.. The Capability Maturity Model for Software: Guidelines for Improving the Software Process. Addison- Wesley, 1995
7 Pruitt et al (1998) Steve Pruitt, Doug Stuart, T.W. Cook. The merit of XML as an Architecture Description Language Meta-Language. Microelectronics and Computer Technology Corp, octubre Rodríguez Polo (2003) Óscar Rodríguez Polo. EdROOM, una herramienta abierta para el desarrollo de sistemas software de tiempo real basados en componentes. Tesis doctoral. Universidad Complutense de Madrid. Marzo Selic et al (1994) Bran Selic, Garth Gullekson, Paul T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons Shaw (1995) Shaw,M. Comparing Architectural Design Styles. IEEE Software. Noviembre Shaw y Clements (1997) Mary Shaw, Paul C. Clements. A Field Guide to Boxology: Preliminary Classification of Architectural Styles for Software Systems. COMPSAC '97, 21st International Computer Software and Applications Conference, agosto 1997, Washington, DC. Sprunt et al (1989) Sprunt, H.M.B., Sha, L., Lehoczky, J.P. Aperiodic Task Scheduling on Hard Real- Time Systems. Real-Time Systems Journal, Kluwer Publishers, Zamorano et al (1997) Zamorano, J. A. Alonso, J.A. de la Puente. Building Safety Critical Real-Time Systems with Reusable Cyclic Executives. Control Engineering Practice, vol. 5, pp
8 CAPÍTULO 3 Bauer et al (1989) F.L. Bauer, B. Moller, H. Partsch, P. Pepper. Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming. Software Engineering, Vol. 15, No. 2, febrero Bennis y Biederman (1998) Bennis, W. and Biederman, P. W. None of Us Is As Smart As All of Us. IEEE Computer, Vol. 31, No. 3, 1998, pp Berners-Lee (1999) Tim Berners-Lee. Weaving the Web. The Original Design and Ultimate Destiny of the World Wide Web. HarperSanFrancisco, septiembre Boehm (1981) Barry W. Boehm. Software Engineering Economics. Prentice- Hall, Inc., Carlson (2001) David Carldon. Modelling XML Applications with UML, Addison Wesley, Cleaveland (2001) J. Craig Cleaveland. Program Generators with XML and Java. Prentice Hall PTR, Czarnecki y Ulrich (2000) Krzysztof Czarnecki and Ulrich W. Eisenecker. Generative Programming. Methods, Tools, and Applications. Addison-Wesley, junio Dijkstra (1976) Edsger W. Dijkstra. A Discipline of Programming, Prentice Hall, Doorfman y Thayer (1996) Merlin Dorfman, Richard H. Thayer. Software Engineering. IEEE Computer Society- Wiley. Septiembre Fielding (2000) Fielding, Roy Thomas. Architectural Styles and the Design of Network-based Software Architectures. Doctoral dissertation, University of California Irvine, Garbajosa (2002) Garbajosa, J. A Low Cost Software Engineering Environment for On-Board Real Time Software. 1st Workshop on Advanced Real-Time Technologies, Aranjuez (Spain), octubre Guttag y Horning (1993) Guttag, J. V. y J.J. Horning. Larch: Languages and tools for formal specifications. Springer-Verlag, Hinchley y Jarvis (1995) Hinchley, M.G. y S.A. Jarvis. Concurrent Systems: Formal development in CSP. McGraw-Hill, Jacobs (2003) Jacobs I. Architecture of the World Wide Web. W3C Working Draft 27 June
9 Jones (1991) Jones, C.B. Systematic development using VDM. Prentice Hall, Lamport (1989) Leslie Lamport. A Simple Approach to Specifying Concurrent Systems. Communications of the ACM, volumen 32, nº 1, enero Lee (2000) Edward A. Lee. Concurrent Models of Computation in System-Level Design. Forum on Design Languages (FDL), Tubingen, Alemania. Septiembre Linger (1994) Linger, R. Cleanroom Process Model. IEEE Software, vol. 11, nº 2, pp , marzo McLean (1993) McLean. The Seventh Knowledge-Based Software Engineering Conference: Proceedings:Virginia September 20-23, IEEE Computer Society. Enero Oberndorf (1998) Oberndorf P. COTS and Open Systems. Carnegie Mellon SW Engineering Institute (SEI) Monographs on the Use of Commercial Software in Government Systems. Febrero Ossher y Tarr (2000) H. Ossher and P. Tarr. Multi-Dimensional Separation of Concerns and The Hyperspace Approach. Proceedings of the Symposium on SW Architectures and Component Technology: The State of the Art in SW Development. Kluwer, Rus et al (2001) I. Rus, M. Lindvall and S.S. Sinha. Knowledge Management in Software Engineering-A DACS State-of-the-Art Report. Produced by Fraunhofer Center for Experimental Software Engineering Maryland and The University of Maryland Simonyi (1995) C. Simonyi. The death of computer languages, the birth of Intentional Programming. Tech. Rep. MSR-TR-95-52, Microsoft Research, Spievy (1992) Spievy, J.M. The Z notation: a reference manual. Prentice.Hall, 1992 W3C (1999) World Wide Web Consortium. XSLT: XSL Transformations. Version 1.0. W3C Recommendation, 16 noviembre W3C (1999b) World Wide Web Consortium. XPath: XML Path Language. Version 1.0. W3C Recommendation, 16 noviembre W3C (2003) World Wide Web Consortium. Web Services Architecture. W3C Working Draft 8 August 2003.
10 CAPÍTULO 4 Bentley (1986) Jon Bentley. Little languages. Communications of the ACM, 29(8): , agosto Bentley (2000) Jon Bentley. Programming Pearls, Second Edition. Addison-Wesley, Inc., Bentley y Bentley (1988) Bentley J.L., Bentley J. More Programming Pearls: Confessions of a Coder, Addison- Wesley, Reading, MA, Gamma et al (1995) Gamma E., Helm R., Johnson R. and Vlissides J. Design Patterns Elements of Reusable Object-Orientated Software. Addison-Wesley, Husted et al (2003) Husted T., Dumoulin C., Franciscus G., Winterfeldt D. Struts in Action. Building web applications with the leading Java framework. Manning Publications Co Krasner y Pope (1988) Krasner G. E and. Pope S.T. A cookbook for using the model view controller user interface paradigm in Smalltalk-80. Journal of Object-Orientated Programming, 1(3):26-49, September Langham y Ziegeler (2003) Langham, M., Ziegeler, C. (2003). Cocoon: Building XML Applications. New Riders. W3C (2001) World Wide Web Consortium. Web Services Description Language (WSDL) 1.1. W3C Note 15 March
Beck, L., L., Chizhik, A.W., and McElroy, A.C. 2005. Cooperative learning
Referencias Beck, L., L., Chizhik, A.W., and McElroy, A.C. 2005. Cooperative learning techniques in CS1: design and experimental evaluation. Proceedings of the 36th SIGCSE technical symposium on Computer
More informationI219 Software Design Methodology
I219 Software Design Methodology JAIST Master s Program Fall 2014 Nguyen Van Vu nvu@fit.hcmus.edu.vn Topics Course Introduction Objectives and Scope Evaluation Policies Content and Schedule Basic Concepts
More informationCurriculum Reform in Computing in Spain
Curriculum Reform in Computing in Spain Sergio Luján Mora Deparment of Software and Computing Systems Content Introduction Computing Disciplines i Computer Engineering Computer Science Information Systems
More informationAckoff, R.L. (1967). Management misinformation systems. Management science, 14(4),
6.- REFERENCIAS 1 REFERENCIAS Ackoff, R.L. (1967). Management misinformation systems. Management science, 14(4), B147-B156. Badham, R., Clegg, C. & Wall, T. (2000). Socio-technical theory. Recuperado Enero
More informationSoftware Engineering Tools and Methods
Software Engineering Tools and Methods Fernando Brito e Abreu (fba@di.fct.unl.pt) Universidade Nova de Lisboa (http://www.unl.pt) QUASAR Research Group (http://ctp.di.fct.unl.pt/quasar) SWEBOK: the 10
More informationChapter 3 Chapter 3 Service-Oriented Computing and SOA Lecture Note
Chapter 3 Chapter 3 Service-Oriented Computing and SOA Lecture Note Text book of CPET 545 Service-Oriented Architecture and Enterprise Application: SOA Principles of Service Design, by Thomas Erl, ISBN
More informationWeighted Total Mark. Weighted Exam Mark
CMP2101 Software Engineering Period per Week Contact Hour per Semester Total Mark Exam Mark Continuous Assessment Mark Credit Units LH PH TH CH WTM WEM WCM CU 45 00 30 60 100 40 100 4 Rationale Software
More informationRequirements Reuse for Software Development
Requirements Reuse for Software Development Oscar López Villegas Technological Institute of Costa Rica San Carlos Regional Campus olopez@infor.uva.es Miguel Ángel Laguna University of Valladolid Department
More informationExecution-Time Clocks and Ravenscar Kernels
Execution-Time Clocks and Ravenscar Kernels Juan Antonio de la Puente Departamento de Ingeniería de Sistemas Telemáticos Universidad Politécnica de Madrid jpuente@dit.upm.es Juan Zamorano Departamento
More informationCourse Computer Science Academic year 2012/2013 Subject Software Engineering II ECTS 6
Course Computer Science Academic year 2012/2013 Subject Software Engineering II ECTS 6 Type of course Compulsory Year 3rd Semester 1st semester Student Workload: Professor(s) Maria Clara Silveira Total
More informationDefinition of a Technological Ecosystem for Scientific Knowledge Management in a PhD Programme
Definition of a Technological Ecosystem for Scientific Knowledge Management in a PhD Programme Alicia García-Holgado Francisco J. García-Peñalvo Mª José Rodríguez-Conde Research Group in InterAction and
More informationAda Real-Time Services and Virtualization
Ada Real-Time Services and Virtualization Juan Zamorano, Ángel Esquinas, Juan A. de la Puente Universidad Politécnica de Madrid, Spain jzamora,aesquina@datsi.fi.upm.es, jpuente@dit.upm.es Abstract Virtualization
More informationDEGREE CURRICULUM SOFTWARE ARCHITECTURES Degree in Computer Engineering. Teaching staff: GIL IRANZO, ROSA MARIA GARCIA GONZALEZ, ROBERTO
Academic year 2014-15 DEGREE CURRICULUM SOFTWARE ARCHITECTURES Degree in Computer Engineering Teaching staff: GIL IRANZO, ROSA MARIA GARCIA GONZALEZ, ROBERTO Subject's general information Subject name
More informationA Tool to Support Knowledge Based Software Maintenance: The Software Service Bay
A Tool to Support Knowledge Based Software Maintenance: The Software Service Bay Jonathan I. Maletic Robert G. Reynolds Computer Science Department Wayne State University 431 State Hall Detroit, MI 48202
More informationA Process Model for Software Architecture
272 A Process Model for Software A. Rama Mohan Reddy Associate Professor Dr. P Govindarajulu Professor Dr. M M Naidu Professor Department of Computer Science and Engineering Sri Venkateswara University
More informationRisk Knowledge Capture in the Riskit Method
Risk Knowledge Capture in the Riskit Method Jyrki Kontio and Victor R. Basili jyrki.kontio@ntc.nokia.com / basili@cs.umd.edu University of Maryland Department of Computer Science A.V.Williams Building
More informationREFERENCIAS BIBLIOGRÁFICAS
REFERENCIAS BIBLIOGRÁFICAS Adrian Turek, MS Visual FoxPro 6.0 Manual de Programación MP Ediciones SA, 1999 Andrews, Mark. Aprenda Visual C++ ya 1999 Abbey. Michael & Corey, Michael. Oracle data warehousing
More information1.1 Issue Description
FICA, VOL. I, NO. I, JUNE 2014 1 DISTRIBUTED APPLICATIONS DEVELOPMENT USING MICROSOFT WINDOWS COMMUNICATION FOUNDATION FRAMEWORK 4.0 APPLIED FOR BUSINESS ADMINISTRATION IN GEATURIM S.A. José Alberto Figueroa
More informationIMPROVEMENT IN THE DEVELOPMENT OF INFORMATION SYSTEMS BY INCREASING ITS PROCESS EFFETIVENESS. T. Rojas M Pérez
IMPROVEMENT IN THE DEVELOPMENT OF INFORMATION SYSTEMS BY INCREASING ITS PROCESS EFFETIVENESS T. Rojas M Pérez e-mail: trojas@usb.ve e-mail: movalles@usb.ve Simón Bolívar University Dept. of Processes and
More informationAuthor of the Program: Prof., Dr.Sci. Dmitry Alexandrov
Author of the Program: Prof., Dr.Sci. Dmitry Alexandrov General Information about Training Course: The training course Software engineering methodology is offered to students of the Master Program «System
More informationDesigning Real-Time and Embedded Systems with the COMET/UML method
By Hassan Gomaa, Department of Information and Software Engineering, George Mason University. Designing Real-Time and Embedded Systems with the COMET/UML method Most object-oriented analysis and design
More informationSchedulability analysis of distributed real-time systems
Schedulability analysis of real-time distributed systems Elements of a real-time system Schedulability analysis of distributed real-time systems By: Michael González Harbour mgh@unican.es http://www.ctr.unican.es
More informationBibliografía. [Aguilera98] Aguilera Ramírez, Dr. Antonio. Orthogonal polyhedra: study and application. Doctoral thesis. Abril, 1998.
Bibliografía [Aguilera98] Aguilera Ramírez, Dr. Antonio. Orthogonal polyhedra: study and application. Doctoral thesis. Abril, 1998. [Ayala85] D. Ayala, P. Brunet, R. Juan and I. Navazo. Object representation
More informationThe Art of Project Management: Key Adjustments Factors using Dynamic Techniques
The Art of Project Management: Key Adjustments Factors using Dynamic Techniques Antonio Folgueras Marcos, Ángel García Crespo, Belén Ruiz Mezcua Carlos III University, Department of Computing Engineering
More informationSoftware Engineering
1 Software Engineering Lecture 2: Software Life Cycles Stefan Hallerstede Århus School of Engineering 25 August 2011 2 Contents Naive Software Development Code & Fix Towards A Software Process Software
More informationHow To Test A Speech Recognition System In Telef\U00F3Nica M\U00F3Viles Espa\U00F1A
Methodology for rapid prototyping and testing of Speech Recognition user interfaces in Telefónica Móviles España Pedro Concejero, Juan José Rodríguez, (1) Daniel Tapias Merino (2) (1) pedro.concejero@tid.es
More informationPROYECTOS EN TECNOLOGÍAS DE LA INFORMACIÓN
MINISTERIO DE CIENCIA Y TECNOLOGÍA SECRETARÍA DE ESTADO DE POLÍTICA CIENTÍFICA Y TECNOLÓGICA DIRECCIÓN GENERAL DE INVESTIGACIÓN SUBDIRECCIÓN GENERAL DE PROYECTOS DE INVESTIGACIÓN JORNADAS DE SEGUIMIENTO
More informationKeywords Aspect-Oriented Modeling, Rule-based graph transformations, Aspect, pointcuts, crosscutting concerns.
Volume 4, Issue 5, May 2014 ISSN: 2277 128X International Journal of Advanced Research in Computer Science and Software Engineering Research Paper Available online at: www.ijarcsse.com Functional and Non-Functional
More informationSoftware Engineering for Software-Intensive Systems: III The Development Life Cycle
Software Engineering for Software-Intensive Systems: III The Development Life Cycle Assistant Professor Dr. Room E 3.165 Tel. 60-3321 Email: hg@upb.de Outline I Introduction II Foundations III The Development
More informationA Comparison of Calibrated Equations for Software Development Effort Estimation
A Comparison of Calibrated Equations for Software Development Effort Estimation Cuauhtemoc Lopez Martin Edgardo Felipe Riveron Agustin Gutierrez Tornes 3,, 3 Center for Computing Research, National Polytechnic
More informationThe Helicoidal Life Cycle as a Tool for Software Development and Enhancement
The Helicoidal Life Cycle as a Tool for Software Development and Enhancement Antonio Carlos Pinto Dias Alves Universidade Federal do Rio de Janeiro COPPE Programa de Engenharia Nuclear Av. Brigadeiro Trompowiski
More informationA Multi-paradigm Approach for Mobile Agents Development
A Multi-paradigm Approach for Mobile Agents Development Edgardo A. Belloni 1 Abstract Mobile agent systems have received important attention in the last years as a new programming paradigm for widely distributed
More informationA COMPARISON OF AOP BASED MONITORING TOOLS
STUDIA UNIV. BABEŞ BOLYAI, INFORMATICA, Volume LVI, Number 3, 2011 A COMPARISON OF AOP BASED MONITORING TOOLS GRIGORETA S. COJOCAR AND DAN COJOCAR Abstract. The performance requirements of a software system
More informationTool Support for Software Variability Management and Product Derivation in Software Product Lines
Tool Support for Software Variability Management and Product Derivation in Software s Hassan Gomaa 1, Michael E. Shin 2 1 Dept. of Information and Software Engineering, George Mason University, Fairfax,
More informationAgent-Based Software and Practical Case of Agent-Based Software Development
Agent-Based Software and Practical Case of Agent-Based Software Development Course 2008/2009 SUBJECTS: AGENT-BASED SOFTWARE and PRACTICAL CASE OF AGENT-BASED SOFTWARE DEVELOPMENT EUROPEAN MASTER on SOFTWARE
More informationSystematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture
Systematization of Requirements Definition for Software Development Processes with a Business Modeling Architecture Delmir de Azevedo Junior 1 and Renato de Campos 2 1 Petrobras University, Republican
More informationModel-Driven Cloud Data Storage
Model-Driven Cloud Data Storage Juan Castrejón 1, Genoveva Vargas-Solar 1, Christine Collet 1, and Rafael Lozano 2 1 Université de Grenoble, LIG-LAFMIA, 681 rue de la Passerelle, Saint Martin d Hères,
More informationISSUES OF STRUCTURED VS. OBJECT-ORIENTED METHODOLOGY OF SYSTEMS ANALYSIS AND DESIGN
ISSUES OF STRUCTURED VS. OBJECT-ORIENTED METHODOLOGY OF SYSTEMS ANALYSIS AND DESIGN Mohammad A. Rob, University of Houston-Clear Lake, rob@cl.uh.edu ABSTRACT In recent years, there has been a surge of
More informationSpeech understanding in dialogue systems
Speech understanding in dialogue systems Sergio Grau Puerto sgrau@dsic.upv.es Departament de Sistemes Informàtics i Computació Universitat Politècnica de València Sergio Grau Puerto. Carnegie Mellon: June
More informationA Contrast and Comparison of Modern Software Process Models
A Contrast and Comparison of Modern Software Process s Pankaj Vohra Computer Science & Engineering Department Thapar University, Patiala Ashima Singh Computer Science & Engineering Department Thapar University,
More informationOutline. III The Development Life Cycle. Characteristics of Software Development Methodologies. The Prototyping Process
Software Engineering for Software-tensive Systems: Assistant Professor Dr. Room E 3.165 Tel. 60-3321 Email: hg@upb.de line I troduction II Foundations IV Requirements V Analysis & Design VI Implementation
More informationScenario-based Evaluation of Software Architecture Styles from the Security Viewpoint
International Journal of Computer Sciences and Engineering Open Access Research Paper Volume-4, Issue-04 E-ISSN: 347-693 Scenario-based Evaluation of Software Architecture Styles from the Security Viewpoint
More informationWorkflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment
Workflow Automation and Management Services in Web 2.0: An Object-Based Approach to Distributed Workflow Enactment Peter Y. Wu wu@rmu.edu Department of Computer & Information Systems Robert Morris University
More informationi-questionnaire A Software Service Tool for Data
i-questionnaire A Software Service Tool for Data Analysis in e-business 1 ANDY S.Y. LAI, 2 Y.C. POON 1, Department of Information and Communications Technology, Hong Kong Institute of Vocational Education,
More informationInformation systems modelling UML and service description languages
Internet Engineering Tomasz Babczyński, Zofia Kruczkiewicz Tomasz Kubik Information systems modelling UML and service description languages Student Contact Hours: 25.02.2015- Location: 325 C3 room 25.03.2015:
More informationMAST: A Timing Behavior Model for Embedded Systems Design Processes
MAST: A Timing Behavior Model for Embedded Systems Design Processes By: Michael González Harbour, José Javier Gutiérrez, José Carlos Palencia, José María Drake, Julio Medina, Patricia López Universidad
More information270015 - IES - Introduction to Software Engineering
Coordinating unit: 270 - FIB - Barcelona School of Informatics Teaching unit: 747 - ESSI - Department of Service and Information System Engineering Academic year: Degree: 2015 BACHELOR'S DEGREE IN INFORMATICS
More informationpartial Replication Of A Server Node And Their Advantages
A Quantitative Justification to Dynamic Partial Replication of Web Contents through an Agent Architecture Enrique Torres 1, José Daniel García 2, Oscar Sanjuan 3, Luis Joyanes 4 and Rubén González Crespo
More informationHow To Manage A Distributed Application
of E-Commerce Brokerage Services Jorge E. López de Vergara, Víctor A. Villagrá, Juan I. Asensio, José I. Moreno, Julio J. Berrocal. Dept. de Ingeniería de Sistemas Telemáticos Universidad Politécnica de
More informationGenerating Aspect Code from UML Models
Generating Aspect Code from UML Models Iris Groher Siemens AG, CT SE 2 Otto-Hahn-Ring 6 81739 Munich, Germany Iris.Groher@fh-hagenberg.at Stefan Schulze Siemens AG, CT SE 2 Otto-Hahn-Ring 6 81739 Munich,
More informationImproving Decision Making in Software Product Lines Product Plan Management
Improving Decision Making in Software Product Lines Product Plan Management Pablo Trinidad, David Benavides, and Antonio Ruiz-Cortés Dpto. de Lenguajes y Sistemas Informáticos University of Seville Av.
More information"34".!! "#$%&'()!*+!(#!*,!-%!.%/01%$2&%! 5-106&%78!9:!;(#%&1(!-%!3(70&6!<!=67>!9(?@%#!AB$%C!<!D@17!E&12(&?%!
"34".!! "#$%&'()!*+!(#!*,!-%!.%/01%$2&%! 5-106&%78!9:!;(#%&1(!-%!3(70&6!!9(?@%#!AB$%C!
More informationIntroduction to Software Engineering (ESE : Einführung in SE)
Introduction to Software Engineering (ESE : Einführung in SE) Prof. O. Nierstrasz Selected material courtesy of Prof. Serge Demeyer, U. Antwerp ESE Introduction Lecturers Assistants Lectures Exercises
More informationThe ROI of Systems Engineering: Some Quantitative Results
The ROI of Systems Engineering: Some Quantitative Results Barry Boehm Center for Systems and Software Engineering University of Southern California boehm@usc.edu Ricardo Valerdi Lean Aerospace Initiative,
More informationOrganization. Introduction to Software Engineering
Dr. Michael Eichberg Software Technology Group Department of Computer Science Technische Universität Darmstadt Introduction to Software Engineering Organization Teaser Background Information 3 As long
More informationCOURSE GUIDE:Model-Driven Software Development (MDE)
COURSE GUIDE:Model-Driven Software Development (MDE) Academic year: 2015-2016 Program: Center: University: Communication Technologies (I 2 -CIT) Universidad Autónoma de Madrid Last modified: 2015/18/05
More informationEVALUATING SOFTWARE ENGINEERING PRACTICES IN PALESTINE
International Journal of Soft Computing, Mathematics and Control (IJSCMC),Vol., No.1, February 1 EVALUATING SOFTWARE ENGINEERING PRACTICES IN PALESTINE Mohammed Alnajjar 1, Prof. Samy S. Abu Naser 1 Faculty
More informationA Knowledge-Based Perspective for Preparing the Transition to a Software Product Line Approach
A Knowledge-Based Perspective for Preparing the Transition to a Software Product Line Approach Gerardo Matturro 1 and Andrés Silva 2 1 Universidad ORT Uruguay, Campus Centro, Cuareim 1451, 11200 Montevideo,
More informationThis is an author-deposited version published in : http://oatao.univ-toulouse.fr/ Eprints ID : 15447
Open Archive TOULOUSE Archive Ouverte (OATAO) OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. This is an author-deposited
More informationResearch Topics in Software Engineering
MAP-I Programa Doutoral em Informática Research Topics in Software Engineering Unidade Curricular em Paradigmas da Computação Paradigms of Computation (UCPC) UMinho, FEUP July 23, 2009 Abstract This document
More informationFrom Business Services to Web Services: an MDA Approach
From Business Services to Web Services: an MDA Approach Hugo Estrada 1, Itzel Morales-Ramírez 2, Alicia Martínez 1, Oscar Pastor 3 1 CENIDET, Cuernavaca, Mor. México {hestrada, amartinez}@cenidet.edu.mx
More informationOpen Source Implementation of Hierarchical Scheduling for Integrated Modular Avionics
Open Source Implementation of Hierarchical Scheduling for Integrated Modular Avionics Juan Zamorano, Juan A. de la Puente Universidad Politécnica de Madrid (UPM) E-28040 Madrid, Spain jzamora@fi.upm.es,
More informationCataudella, J., Sawyer, B., Greely, D., 1998. "Creating Stores on The Web", Edit. Peachpit Press, USA.
1 Colección de Tesis Digitales Universidad de las Américas Puebla Zuñiga, Víctor Alejandro [1] Adam, N. R., y Yesha, Y., 1996. "Electronic Commerce: Current Research Issues and Applications", Lectures
More informationCURRICULUM VITAE. Name: Ana Maria Iglesias Maqueda. Date: 5/10/2004. Signature:
CURRICULUM VITAE Name: Ana Maria Iglesias Maqueda Date: 5/10/2004 Signature: PERSONAL DATA FAMILY NAME: Iglesias Maqueda FIRST NAME: Ana Maria PASSPORT NUMBER: 6.251.356 DATE OF BIRTH: 05/18/1975 GENDER:
More informationGuidelines for Software Engineering Education Version 1.0
Guidelines for Software Engineering Education Version 1.0 Donald J. Bagert, Texas Tech University Thomas B. Hilburn, Embry-Riddle Aeronautical University Greg Hislop, Drexel University Michael Lutz, Rochester
More informationMSE-201 SOFTWARE PROJECT MANAGEMENT
MSE-201 SOFTWARE PROJECT MANAGEMENT Unit-I Introduction to Software project Management: Software projects, Contract management and technical project management, Activities covered by software project management,
More informationCONTROL CODE GENERATOR USED FOR CONTROL EXPERIMENTS IN SHIP SCALE MODEL
CONTROL CODE GENERATOR USED FOR CONTROL EXPERIMENTS IN SHIP SCALE MODEL Polo, O. R. (1), Esteban, S. (2), Maron, A. (3), Grau, L. (4), De la Cruz, J.M. (2) (1) Dept Arquitectura de Computadores y Automatica.
More informationDomain Modeling of Software Process Models
Domain Modeling of Software Process Models Hassan Gomaa, Larry Kerschberg, and Ghulam A. Farrukh George Mason University and The MITRE Corporation hgomaa@gmu.edu, kersch@gmu.edu, and farrukh@mitre.org
More informationSeparating Concerns in Software Logistics
Separating Concerns in Software Logistics Danny Greefhorst Software Engineering Research Centre PO Box 424, 3500 AK The Netherlands greefhor@serc.nl Software logistics deals with the storage, administration,
More informationMulti-objective Design Space Exploration based on UML
Multi-objective Design Space Exploration based on UML Marcio F. da S. Oliveira, Eduardo W. Brião, Francisco A. Nascimento, Instituto de Informática, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
More informationPerformance Engineering of Component-Based Distributed Software Systems
Performance Engineering of Component-Based Distributed Software Systems Hassan Gomaa 1 and Daniel A. Menascé 2 1 Dept. of Information and Software Engineering School of Information Technology and Engineering
More informationAdaptación de MoProSoft para la producción de software en instituciones académicas
Adaptación de MoProSoft para la producción de software en instituciones académicas Adaptation of MoProSoft for software production in academic institutions Gabriela Alejandra Martínez Cárdenas Instituto
More informationEnhancement of Development Technologies for Agent- Based Software Engineering
Enhancement of Development Technologies for Agent- Based Software Engineering Andre Karpištšenko Tallinn Technical University, Ehitajate tee 5 19086 Tallinn, Estonia andre@lap.ee Abstract. Current trends
More informationRun-time Variability Issues in Software Product Lines
Run-time Variability Issues in Software Product Lines Alexandre Bragança 1 and Ricardo J. Machado 2 1 Dep. I&D, I2S Informática Sistemas e Serviços SA, Porto, Portugal, alexandre.braganca@i2s.pt 2 Dep.
More informationPredictable response times in eventdriven real-time systems
Predictable response times in eventdriven real-time systems Artist2 Summer School in China 2008 Shanghai, July 2008 Michael González Harbour mgh@unican.es www.ctr.unican.es GRUPO DE COMPUTADORES Y TIEMPO
More informationISSUES IN RULE BASED KNOWLEDGE DISCOVERING PROCESS
Advances and Applications in Statistical Sciences Proceedings of The IV Meeting on Dynamics of Social and Economic Systems Volume 2, Issue 2, 2010, Pages 303-314 2010 Mili Publications ISSUES IN RULE BASED
More informationMethodologies development and software quality metrics in educational applications
Methodologies development and software quality metrics in educational applications JOAN F. CHIPIA LOBO Maestría en Educación mención Informática y Diseño Instruccional Universidad de Los Andes La Liria,
More informationProgramming Language Constructs as Basis for Software Architectures
Programming Language Constructs as Basis for Software Architectures 1 From individual parts to components In the 50s: Machine/Assembler programs: bound to specific hardware In the 60s-70s: Higher programming
More informationTowards a Methodology for the Design of Intelligent Tutoring Systems
Research in Computing Science Journal, 20: 181-189 ISSN 1665-9899 Towards a Methodology for the Design of Intelligent Tutoring Systems Enrique Sierra, Ramón García-Martínez, Zulma Cataldi, Paola Britos
More informationUsing MDA in Web Software Architectures
Using MDA in Web Software Architectures SANTIAGO MELIA, CRISTINA CACHERO AND JAIME GOMEZ 1 Universidad de Alicante, Spain The new challenges posed by the Internet market have increased the need for Web
More informationWeaving the Software Development Process Between Requirements and Architectures
Weaving the Software Development Process Between and s Bashar Nuseibeh Computing Department The Open University Walton Hall Milton Keynes MK7 6AA, U.K. Email:B.A.Nuseibeh@open.ac.uk ABSTRACT This position
More informationTOGAF usage in outsourcing of software development
Acta Informatica Pragensia 2(2), 2013, 68 76, DOI: 10.18267/j.aip.25 Section: Online: aip.vse.cz Peer-reviewed papers TOGAF usage in outsourcing of software development Aziz Ahmad Rais 1, Rudolf Pecinovsky
More informationIterative Design and Testing within the Software Development Life Cycle
Software Quality Journal, 6(4), December 1997, 295-309 Iterative Design and Testing within the Software Development Life Cycle Bor-Yuan Tsai *, Simon Stobart, Norman Parrington and Barrie Thompson School
More informationModeling Web Applications Using Java And XML Related Technologies
Modeling Web Applications Using Java And XML Related Technologies Sam Chung Computing & Stware Systems Institute Technology University Washington Tacoma Tacoma, WA 98402. USA chungsa@u.washington.edu Yun-Sik
More informationCurriculum Vitae et Studiorum
Curriculum Vitae et Studiorum of: Last Updated: August 22, 2006 Personal Family Name: Vardanega First Name: Tullio Citizenship: Italian Marital Status: Single Date of Birth: January 12, 1963 Place of Birth:
More informationA pattern based approach to defining the dynamic infrastructure of UML 2.0
A pattern based approach to defining the dynamic infrastructure UML 2.0 Biju K. Appukuttan, Tony Clark 2, Andy Evans 3, Girish Maskeri 4, Paul Sammut 3, Laurence Tratt 2 and James S. Willans 3 Abstract.
More informationSoftware Visualization Tools for Component Reuse
Software Visualization Tools for Component Reuse Craig Anslow Stuart Marshall James Noble Robert Biddle 1 School of Mathematics, Statistics and Computer Science, Victoria University of Wellington, New
More informationScaling Down Large Projects to Meet the Agile Sweet Spot
Scaling Down Large Projects to Meet the Agile Sweet Spot Philippe Kruchten Kruchten Engineering Services Ltd Presenter Philippe Kruchten, Ph. D., P. Eng. KESL 2906 West 37 th avenue Vancouver BC V5Z 2M9
More informationAn Overview of Software Engineering Process and Its Improvement
An Overview of Software Engineering and Its Improvement O Alain April École de Technologie Supérieure, Montréal, Canada Claude Laporte École de Technologie Supérieure, Montréal, Canada Introduction The
More informationFramework for Web Application Agile Development
Framework for Web Application Agile Development Lisandro Delía 1, Germán Cáseres 2, Hugo Ramón 3, Pablo Thomas 4, Rodolfo Bertone 5 Institute of Research on Computer Science LIDI (III-LIDI) 6 Faculty of
More informationBusiness Process Modelling Languages, Goals and Variabilities
Business Process Modelling Languages, Goals and Variabilities Birgit Korherr Women s Postgraduate College for Internet Technologies Institute of Software Technology and Interactive Systems Vienna University
More informationSOFTWARE QUALITY MODEL BASED ON SOFTWARE DEVELOPMENT APPROACHES
OFTWARE QUALITY MODEL BAED ON OFTWARE DEVELOPMENT APPROACHE Kenyer Domínguez, María Pérez, Anna C. Grimán, Maryoly Ortega, Luis E. Mendoza Laboratorio de Investigación en istemas de Información (LII),
More informationOriginal Group Gap Analysis Report
Original Group Gap Analysis Report Year 11 Levels of Progress Analysis 2014-2015 Spring This document was created using the Transition Matrices Report Generator Copyright Dr Stuart Atkinson - 2014 - All
More informationARINC-653 Inter-partition Communications and the Ravenscar Profile
ARINC-653 Inter-partition Communications and the Ravenscar Profile Jorge Garrido jgarrido@dit.upm.es Juan Zamorano jzamora@datsi.fi.upm.es Universidad Politécnica de Madrid (UPM), Spain Juan A. de la Puente
More informationEncuesta de Expectativas Económicas al Panel de Analistas Privados
Encuesta de Expectativas Económicas al Panel de Analistas Privados ECONOMIC EXPECTATIONS SURVEY TO THE PANEL OF PRIVATE ANALYSTS - EEE (For its acronym in Spanish) - JUNE 2011 The Economic Expectations
More informationA Process View on Architecture-Based Software Development
A Process View on Architecture-Based Software Development Lothar Baum, Martin Becker, Lars Geyer, Georg Molter System Software Research Group University of Kaiserslautern D-67653 Kaiserslautern, Germany
More informationBusiness Modeling with UML
Business Modeling with UML Hans-Erik Eriksson and Magnus Penker, Open Training Hans-Erik In order to keep up and be competitive, all companies Ericsson is and enterprises must assess the quality of their
More informationAgile, TSP SM, CMMI pick one, pick two, pick all three!
1 Agile, TSP SM, CMMI pick one, pick two, pick all three! Daniel M. Roy Cape Town SPIN 20 February, 2008 PSP, TSP, Personal Software Process and Team Software Process are service marks of CMU CMM is and
More information2013/2014 UCAM MASTER IN BUSINESS ADMINISTRATION (MBA) OFFICIAL TITLE (60 ECTS)
2013/2014 UCAM MASTER IN BUSINESS ADMINISTRATION (MBA) OFFICIAL TITLE (60 ECTS) The Master in Business Administration is aimed at international and Spanish graduate students to acquire advanced knowledge
More information2. Analysis, Design and Implementation
2. Subject/Topic/Focus: Software Production Process Summary: Software Crisis Software as a Product: From Individual Programs to Complete Application Systems Software Development: Goals, Tasks, Actors,
More information