Tampereen teknillinen korkeakoulu. Ohjelmistotekniikan laitos. Report

contributor

• Tampereen teknillinen korkeakoulu. Ohjelmistotekniikan laitos
• Tampereen teknillinen yliopisto. Ohjelmistotekniikan laitos

hasPart

• A layer-based formalization of an on-board instrument
• A method for analysing the performance of testing techniques for concurrent systems
• A pattern language for distributed machine control systems
• A pattern language for distributed machine control systems
• A survey of product-line architectures
• A survey on domain engineering
• A survey on software product-line evolution
• Action system approach to the specification and design of distributed systems
• An algorithm for the isomorphism problem of connected graphs without loops and folded egdes
• Basis for tool support for product-line processes
• Building 3D WebGL applications
• Building 3D WebGL applications
• Building 3D WebGL applications
• Compositional failure-based semantic models for Basic LOTOS
• Contextual design -menetelmän soveltaminen
• Demography of Linux Kernel developers
• FAST product-line architecture process
• From architectural requirements to architectural design
• Heuristics for faster error detection with automated black box testing
• In-machine communication : a general solution for interconnecting independent intelligent actuators
• Object-oriented specification of reactive systems
• Ohjelmien analysoinnin ja uudelleenmuokkauksen tekniikat
• On the design of reactive systems
• Operational specification with joint actions : serializable databases
• Pattern calculus
• Patterns for distributed embedded control system software architecture
• Proceedings of 11th Symposium on Programming Languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering
• Proceedings of OOPSLA 2000 Workshop : methods and tools for object-oriented framework development and specialization
• Proceedings of OOPSLA 2000 Workshop : scenario-based round-trip engineering
• Proceedings of SoSE 2011 paper project workshop on software engineering
• Proceedings of SoSE paper project workshop on software engineering
• Proceedings of the First International Workshop on Building Sustainable Open Source Communities (June 6, 2009, Skövde, Sweden)
• Proceedings of the First International Workshop on Social Software Engineering and Applications (September 15, 2008, L'Aquila, Italy)
• Proceedings of the Nordic Workshop on Programming Environment Research
• Proceedings of VikingPLoP 2012 Conference
• Proceedings of VikingPLoP 2012 Conference
• Proceedings of VikingPLoP 2012 Conference
• Proceedings of VikingPLoP 2012 Conference
• Selvitys ohjelmistotekniikan opetuksesta ja sen kehitystarpeista Tampereen teknillisellä yliopistolla
• Some polynomial space complete concurrency problems
• Specification of serializable databases by joint actions
• SPLST'09 & NW-MODE'09 : proceedings of 11th Symposium on Programming Languages and Software Tools and 7th Nordic Workshop on Model Driven Software Engineering
• Sulava Scrum survey report
• Sulava Scrum survey report
• Sulava Scrum survey report
• Task-driven specialization support for object-oriented frameworks
• TCP/IP -protokollaympäristö : esitelmät kurssilta Ohjelmistotekniikan erityiskysymyksiä 19.1.-4.5.1990
• The class of neighboring heuristic algorithms for graph coloring
• The DisCo language
• The DisCo language and temporal logic of actions
• The Lyra design method
• The study of old texts with the aid of digital technology : the Gothic manuscripts
• Tietotekniikka opetuksen tukena ohjelmistotekniikan laitoksella
• Using fairness in process-algebraic verification
• Variability management in software product lines
• Verifying safety by combining joint actions with a process-algebraic approach
• Visual verification of safety and liveness

inLanguage

• en
• fi
• mul

isPartOf

• Fennica

issn

• 0786-0102
• 1459-417X
• 1459-417X.
• 1797-836X

name

• Raportti
• Raportti / Tampereen teknillinen korkeakoulu, ohjelmistotekniikan laitos
• Raportti / Tampereen teknillinen yliopisto, ohjelmistotekniikan laitos
• Raportti / Tampereen teknillinen yliopisto. Ohjelmistotekniikan laitos
• Rep. - Tamp. Univ. Tech. Softw. Syst. Lab
• Report
• Report / Tampere University of Technology, Department of Software Systems
• Report / Tampere University of Technology, Institute of Software Systems
• Report / Tampere University of Technology, Software Systems Laboratory
• Report / Tampere University of Technology. Institute of Software Systems
• Tampereen teknillinen korkeakoulu. Ohjelmistotekniikan laitos. Report

P60049

• <http://rdaregistry.info/termList/RDAContentType/1020>

sameAs

• <https://issn.org/resource/issn/0786-0102>

Instances

• 1988-2002 : Tampereen teknillinen korkeakoulu
• 2003/2006 : Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
• 2008-2012 : Tampereen teknillinen yliopisto