National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Report / Tampere University of Technology, Department of Software Systems
URI:
http://urn.fi/URN:NBN:fi:bib:me:W00564548600
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 korkeakoulu
2008/2012 : Tampereen teknillinen yliopisto
View this in Finna
Raportti / Tampereen teknillinen korkeakoulu, ohjelmistotekniikan laitos
URI:
http://urn.fi/URN:NBN:fi:bib:me:I01631163900
datePublished
1988-2002
1988/2002
description
Ceased publication
Julkaisija myöh.: Tampere University of Technology, Institute of Software Systems.
identifier
propertyID:
FI-FENNI
value:
181108
propertyID:
FI-MELINDA
value:
000680420
propertyID:
FI-MELINDA
value:
004516044
isPartOf
Fennica
issn
0786-0102
name
Raportti / Tampereen teknillinen korkeakoulu, ohjelmistotekniikan laitos
Rep. - Tamp. Univ. Tech. Softw. Syst. Lab
Report
Report / Tampere University of Technology, Institute of Software Systems
P60048
<http://rdaregistry.info/termList/RDACarrierType/1048>
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Tampere
organizer:
Tampereen teknillinen korkeakoulu
publisher
Tampereen teknillinen korkeakoulu
sameAs
<https://issn.org/resource/issn/0786-0102>
View this in Finna
Report
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00564548600
datePublished
2003-2006
2003/2006
description
Ceased publication
identifier
propertyID:
FI-FENNI
value:
724103
propertyID:
FI-MELINDA
value:
005645486
propertyID:
skl
value:
fx724103
isPartOf
Fennica
issn
1459-417X
name
Report
P60048
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Tampere
organizer:
Tampereen teknillinen korkeakoulu Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
publisher
Tampereen teknillinen korkeakoulu
Tampereen teknillinen yliopisto. Optoelektroniikan tutkimuskeskus
View this in Finna
Raportti
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00564965900
datePublished
2008-2012
2008/2012
description
Ceased publication
identifier
propertyID:
FI-FENNI
value:
906639
propertyID:
FI-MELINDA
value:
005649659
propertyID:
skl
value:
fx906639
isPartOf
Fennica
issn
1797-836X
name
Raportti
Report / Tampere University of Technology, Department of Software Systems
P60048
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Tampere
organizer:
Tampereen teknillinen yliopisto
publisher
Tampereen teknillinen yliopisto
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD