Correctness by construction (103000657) [103000657] - 2025-26 2S - Guía docente PDF - Correctness by construction (103000657)

PDF remoto de la guía docente de Correctness by construction (103000657) (2025-26 2S)

Additional Information

Field	Value
Data last updated	March 6, 2026
Metadata last updated	March 6, 2026
Created	March 6, 2026
Format	PDF
License	No License Provided
Datastore active	False
Has views	False
Id	9cbc9ffe-5401-4597-9324-7e682af4dfbe
Mimetype	application/pdf
Package id	e1640ff1-2011-49ee-94a5-d3f9999ab153
Position	0
Resource type	file
State	active

Field

Value

Data last updated

March 6, 2026

Metadata last updated

March 6, 2026

Created

March 6, 2026

Format

PDF

License

No License Provided

Datastore active

False

Has views

False

9cbc9ffe-5401-4597-9324-7e682af4dfbe

Mimetype

application/pdf

Package id

e1640ff1-2011-49ee-94a5-d3f9999ab153

Position

Resource type

file

State

active

Package	Version	Homepage	Summary
alabaster	0.7.16	None	A light, configurable Sphinx theme
alembic	1.13.2	https://alembic.sqlalchemy.org	A database migration tool for SQLAlchemy.
arrow	1.3.0	None	Better dates & times for Python
asttokens	3.0.0	https://github.com/gristlabs/asttokens	Annotate AST trees with source code positions
async-timeout	4.0.3	https://github.com/aio-libs/async-timeout	Timeout context manager for asyncio programs
autocommand	2.2.2	https://github.com/Lucretiel/autocommand	A library to create a command-line program from a function
Babel	2.15.0	https://babel.pocoo.org/	Internationalization utilities
backports.tarfile	1.2.0	None	Backport of CPython tarfile module
beautifulsoup4	4.12.3	None	Screen-scraping library
binaryornot	0.4.4	https://github.com/audreyr/binaryornot	Ultra-lightweight pure Python package to check if a file is binary or text.
bleach	6.1.0	https://github.com/mozilla/bleach	An easy safelist-based HTML-sanitizing tool.
blinker	1.8.2	None	Fast, simple object-to-object and broadcast signaling
build	1.2.2.post1	None	A simple, correct Python build frontend
cachelib	0.13.0	https://github.com/pallets-eco/cachelib/	A collection of cache libraries in the same API interface.
cachetools	6.1.0	https://github.com/tkem/cachetools/	Extensible memoizing collections and decorators
certifi	2024.7.4	https://github.com/certifi/python-certifi	Python package for providing Mozilla's CA Bundle.
chardet	5.2.0	https://github.com/chardet/chardet	Universal encoding detector for Python 3
charset-normalizer	3.3.2	https://github.com/Ousret/charset_normalizer	The Real First Universal Charset Detector. Open, modern and actively maintained alternative to Chardet.
ckan	2.11.3	http://ckan.org/	CKAN Software
ckanext-dcat	2.4.0	None	Plugins for exposing and consuming DCAT metadata on CKAN
ckanext-envvars	0.0.6	https://github.com/okfn/ckanext-envvars	CKAN configuration settings available from env vars
ckanext-guia_theme	0.0.1	None	GUIA theme extension for CKAN
ckantoolkit	0.0.7	https://github.com/ckan/ckantoolkit	None
click	8.1.7	https://palletsprojects.com/p/click/	Composable command line interface toolkit
cookiecutter	2.6.0	https://github.com/cookiecutter/cookiecutter	A command-line utility that creates projects from project templates, e.g. creating a Python package project from a Python package project template.
coverage	7.7.1	https://github.com/nedbat/coveragepy	Code coverage measurement for Python
coveralls	4.0.1	http://github.com/TheKevJames/coveralls-python	Show coverage stats online via coveralls.io
decorator	5.2.1	None	Decorators for Humans
docopt	0.6.2	http://docopt.org	Pythonic argument parser, that will make you smile
docutils	0.20.1	https://docutils.sourceforge.io/	Docutils -- Python Documentation Utilities
dominate	2.9.1	None	Dominate is a Python library for creating and manipulating HTML documents using an elegant DOM API.
exceptiongroup	1.2.2	None	Backport of PEP 654 (exception groups)
executing	2.2.0	https://github.com/alexmojaki/executing	Get the currently executing AST node of a frame, and other information
factory-boy	3.3.0	https://github.com/FactoryBoy/factory_boy	A versatile test fixtures replacement based on thoughtbot's factory_bot for Ruby.
Faker	26.0.0	https://github.com/joke2k/faker	Faker is a Python package that generates fake data for you.
feedgen	1.0.0	https://lkiesow.github.io/python-feedgen	Feed Generator (ATOM, RSS, Podcasts)
Flask	3.0.3	None	A simple framework for building complex web applications.
flask-babel	4.0.0	https://github.com/python-babel/flask-babel	Adds i18n/l10n support for Flask applications.
Flask-DebugToolbar	0.15.1	https://github.com/pallets-eco/flask-debugtoolbar	A toolbar overlay for debugging Flask applications.
Flask-Login	0.6.3	https://github.com/maxcountryman/flask-login	User authentication and session management for Flask.
Flask-Session	0.8.0	None	Server-side session support for Flask
Flask-WTF	1.2.1	None	Form rendering, validation, and CSRF protection for Flask with WTForms.
freezegun	1.5.1	https://github.com/spulec/freezegun	Let your Python tests travel through time
frozendict	2.4.6	https://github.com/Marco-Sulla/python-frozendict	A simple immutable dictionary
geomet	1.1.0	None	Pure Python conversion library for common geospatial data formats
greenlet	3.0.3	https://greenlet.readthedocs.io/	Lightweight in-process concurrent programming
idna	3.7	None	Internationalized Domain Names in Applications (IDNA)
imagesize	1.4.1	https://github.com/shibukawa/imagesize_py	Getting image size from png/jpeg/jpeg2000/gif file
importlib_metadata	8.0.0	None	Read metadata from Python packages
importlib_metadata	8.0.0	None	Read metadata from Python packages
incremental	24.7.2	None	A small library that versions your Python projects.
inflect	7.3.1	None	Correctly generate plurals, singular nouns, ordinals, indefinite articles
inflection	0.5.1	https://github.com/jpvanhal/inflection	A port of Ruby on Rails inflector to Python
iniconfig	2.1.0	None	brain-dead simple config-ini parsing
ipdb	0.13.13	https://github.com/gotcha/ipdb	IPython-enabled pdb
ipython	8.36.0	None	IPython: Productive Interactive Computing
isodate	0.7.2	None	An ISO 8601 date/time/duration parser and formatter
itsdangerous	2.2.0	None	Safely pass data to untrusted environments and back.
jaraco.collections	5.1.0	None	Collection objects similar to those in stdlib by jaraco
jaraco.context	5.3.0	https://github.com/jaraco/jaraco.context	Useful decorators and context managers
jaraco.functools	4.0.1	None	Functools like those found in stdlib
jaraco.text	3.12.1	None	Module for text manipulation
jedi	0.19.2	https://github.com/davidhalter/jedi	An autocompletion tool for Python that can be used for text editors.
Jinja2	3.1.6	None	A very fast and expressive template engine.
junit2html	31.0.2	https://gitlab.com/inorton/junit2html	Generate HTML reports from Junit results
junitparser	3.2.0	https://github.com/weiwei/junitparser	Manipulates JUnit/xUnit Result XML files
lxml	5.2.2	https://lxml.de/	Powerful and Pythonic XML processing library combining libxml2/libxslt with the ElementTree API.
Mako	1.3.5	https://www.makotemplates.org/	A super-fast templating language that borrows the best ideas from the existing templating languages.
Markdown	3.6	None	Python implementation of John Gruber's Markdown.
markdown-it-py	3.0.0	None	Python port of markdown-it. Markdown parsing, done right!
MarkupSafe	2.1.5	https://palletsprojects.com/p/markupsafe/	Safely add untrusted strings to HTML/XML markup.
matplotlib-inline	0.1.7	None	Inline Matplotlib backend for Jupyter
mdurl	0.1.2	None	Markdown URL utilities
more-itertools	10.3.0	None	More routines for operating on iterables, beyond itertools
msgspec	0.18.6	https://jcristharif.com/msgspec/	A fast serialization and validation library, with builtin support for JSON, MessagePack, YAML, and TOML.
mypy	1.10.1	https://www.mypy-lang.org/	Optional static typing for Python
mypy-extensions	1.0.0	https://github.com/python/mypy_extensions	Type system extensions for programs checked with the mypy type checker.
packaging	24.1	None	Core utilities for Python packages
packaging	24.2	None	Core utilities for Python packages
parso	0.8.4	https://github.com/davidhalter/parso	A Python Parser
passlib	1.7.4	https://passlib.readthedocs.io	comprehensive password hashing framework supporting over 30 schemes
pexpect	4.9.0	https://pexpect.readthedocs.io/	Pexpect allows easy control of interactive console applications.
pillow	10.4.0	None	Python Imaging Library (Fork)
pip	25.1.1	None	The PyPA recommended tool for installing Python packages.
pip-tools	7.4.1	None	pip-tools keeps your pinned dependencies fresh.
platformdirs	4.2.2	None	A small Python package for determining appropriate platform-specific dirs, e.g. a `user data dir`.
pluggy	1.5.0	https://github.com/pytest-dev/pluggy	plugin and hook calling mechanisms for python
polib	1.2.0	https://github.com/izimobil/polib/	A library to manipulate gettext files (po and mo files).
prompt_toolkit	3.0.51	None	Library for building powerful interactive command lines in Python
psycopg2	2.9.9	https://psycopg.org/	psycopg2 - Python-PostgreSQL Database Adapter
ptyprocess	0.7.0	https://github.com/pexpect/ptyprocess	Run a subprocess in a pseudo terminal
pure_eval	0.2.3	http://github.com/alexmojaki/pure_eval	Safely evaluate AST nodes without side effects
Pygments	2.19.1	None	Pygments is a syntax highlighting package written in Python.
PyJWT	2.8.0	https://github.com/jpadilla/pyjwt	JSON Web Token implementation in Python
PyLD	2.0.4	https://github.com/digitalbazaar/pyld	Python implementation of the JSON-LD API
pyparsing	3.1.2	None	pyparsing module - Classes and methods to define and execute parsing grammars
pyproject_hooks	1.2.0	None	Wrappers to call pyproject.toml-based build backend hooks.
pysolr	3.9.0	https://github.com/django-haystack/pysolr/	Lightweight Python client for Apache Solr
pytest	8.3.4	None	pytest: simple powerful testing with Python
pytest-cov	6.0.0	https://github.com/pytest-dev/pytest-cov	Pytest plugin for measuring coverage.
pytest-factoryboy	2.7.0	https://pytest-factoryboy.readthedocs.io/	Factory Boy support for pytest.
pytest-freezegun	0.4.2	https://github.com/ktosiek/pytest-freezegun	Wrap tests with fixtures in freeze_time
pytest-rerunfailures	15.0	None	pytest plugin to re-run tests to eliminate flaky failures
pytest-retry	1.7.0	None	Adds the ability to retry flaky tests in CI environments
pytest-split	0.10.0	https://jerry-git.github.io/pytest-split	Pytest plugin which splits the test suite to equally sized sub suites based on test execution time.
python-dateutil	2.9.0.post0	https://github.com/dateutil/dateutil	Extensions to the standard Python datetime module
python-magic	0.4.27	http://github.com/ahupp/python-magic	File type identification using libmagic
python-slugify	8.0.4	https://github.com/un33k/python-slugify	A Python slugify application that also handles Unicode
pytz	2024.1	http://pythonhosted.org/pytz	World timezone definitions, modern and historical
PyYAML	6.0.1	https://pyyaml.org/	YAML parser and emitter for Python
rdflib	7.1.4	None	RDFLib is a Python library for working with RDF, a simple yet powerful language for representing information.
redis	5.0.7	https://github.com/redis/redis-py	Python client for Redis database and key-value store
requests	2.32.3	https://requests.readthedocs.io	Python HTTP for Humans.
responses	0.25.3	https://github.com/getsentry/responses	A utility library for mocking out the `requests` Python library.
rich	14.0.0	https://github.com/Textualize/rich	Render rich text, tables, progress bars, syntax highlighting, markdown and more to the terminal
rq	1.16.2	None	RQ is a simple, lightweight, library for creating background jobs, and processing them.
setuptools	80.3.1	None	Easily download, build, install, upgrade, and uninstall Python packages
simplejson	3.19.2	https://github.com/simplejson/simplejson	Simple, fast, extensible JSON encoder/decoder for Python
six	1.16.0	https://github.com/benjaminp/six	Python 2 and 3 compatibility utilities
snowballstemmer	2.2.0	https://github.com/snowballstem/snowball	This package provides 29 stemmers for 28 languages generated from Snowball algorithms.
soupsieve	2.7	None	A modern CSS selector implementation for Beautiful Soup.
Sphinx	7.3.7	None	Python documentation generator
sphinx-rtd-theme	2.0.0	https://github.com/readthedocs/sphinx_rtd_theme	Read the Docs theme for Sphinx
sphinxcontrib-applehelp	2.0.0	None	sphinxcontrib-applehelp is a Sphinx extension which outputs Apple help books
sphinxcontrib-devhelp	2.0.0	None	sphinxcontrib-devhelp is a sphinx extension which outputs Devhelp documents
sphinxcontrib-htmlhelp	2.1.0	None	sphinxcontrib-htmlhelp is a sphinx extension which renders HTML help files
sphinxcontrib-jquery	4.1	None	Extension to include jQuery on newer Sphinx releases
sphinxcontrib-jsmath	1.0.1	http://sphinx-doc.org/	A sphinx extension which renders display math in HTML via JavaScript
sphinxcontrib-qthelp	2.0.0	None	sphinxcontrib-qthelp is a sphinx extension which outputs QtHelp documents
sphinxcontrib-serializinghtml	2.0.0	None	sphinxcontrib-serializinghtml is a sphinx extension which outputs "serialized" HTML files (json and pickle)
SQLAlchemy	1.4.52	https://www.sqlalchemy.org	Database Abstraction Library
sqlalchemy2-stubs	0.0.2a38	http://www.sqlalchemy.org	Typing Stubs for SQLAlchemy 1.4
sqlparse	0.5.0	None	A non-validating SQL parser.
stack-data	0.6.3	http://github.com/alexmojaki/stack_data	Extract data from python stack frames and tracebacks for informative displays
text-unidecode	1.3	https://github.com/kmike/text-unidecode/	The most basic Text::Unidecode port
toml	0.10.2	https://github.com/uiri/toml	Python Library for Tom's Obvious, Minimal Language
tomli	2.0.1	None	A lil' TOML parser
tomli	2.0.1	None	A lil' TOML parser
towncrier	23.11.0	None	Building newsfiles for your project.
traitlets	5.14.3	None	Traitlets Python configuration system
typeguard	4.3.0	None	Run-time type checker for Python
types-python-dateutil	2.9.0.20241206	https://github.com/python/typeshed	Typing stubs for python-dateutil
typing_extensions	4.12.2	None	Backported and Experimental Type Hints for Python 3.8+
typing_extensions	4.12.2	None	Backported and Experimental Type Hints for Python 3.8+
tzlocal	5.2	None	tzinfo object for the local timezone
urllib3	2.2.2	None	HTTP library with thread-safe connection pooling, file post, and more.
uWSGI	2.0.29	https://uwsgi-docs.readthedocs.io/en/latest/	The uWSGI server
watchdog	4.0.1	https://github.com/gorakhargosh/watchdog	Filesystem events monitoring
wcwidth	0.2.13	https://github.com/jquast/wcwidth	Measures the displayed width of unicode strings in a terminal
webassets	2.0	http://github.com/miracle2k/webassets/	Media asset management for Python, with glue code for various web frameworks
webencodings	0.5.1	https://github.com/SimonSapin/python-webencodings	Character encoding aliases for legacy web content
Werkzeug	3.0.6	None	The comprehensive WSGI web application library.
wheel	0.45.1	None	A built-package format for Python
wheel	0.45.1	None	A built-package format for Python
WTForms	3.1.2	None	Form validation and rendering for Python web development.
zipp	3.19.2	None	Backport of pathlib-compatible object wrapper for zip files
zipp	3.19.2	None	Backport of pathlib-compatible object wrapper for zip files
zope.interface	6.4.post2	https://github.com/zopefoundation/zope.interface	Interfaces for Python

Resource	Value
User CPU time	54.730 msec
System CPU time	3.089 msec
Total CPU time	57.819 msec
Elapsed time	73.548 msec
Context switches	19 voluntary, 0 involuntary

Key	Value
HTTP_ACCEPT	/
HTTP_ACCEPT_ENCODING	gzip, br, zstd, deflate
HTTP_CONNECTION	Keep-Alive
HTTP_HOST	portal.guia.linkeddata.es
HTTP_USER_AGENT	Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
QUERY_STRING
REMOTE_ADDR	192.168.122.1
REQUEST_METHOD	GET
SCRIPT_NAME
SERVER_NAME	0.0.0.0
SERVER_PORT	5000
SERVER_PROTOCOL	HTTP/1.1
SERVER_SOFTWARE	Werkzeug/3.0.6

Variable	Value
'_csrf_token'	'db13472ed361d756c57b4172338d1484272a1dec'
'_fresh'	False
'_permanent'	True

Variable	Value
csrf_token	<function generate_csrf at 0x7f35e46b5000>
current_user	<ckan.model.user.AnonymousUser object at 0x7f35be5cfa90>
g	<flask.g of 'ckan.config.middleware.flask_app'>
request	<Request 'http://portal.guia.linkeddata.es/dataset/2025-26-2s-10am-103000657-correctness-by-construction-103000657/resource/9cbc9ffe-5401-4597-9324-7e682af4dfbe' [GET]>
session	<SecureCookieSession {'_csrf_token': 'db13472ed361d756c57b4172338d1484272a1dec', '_fresh': False, '_permanent': True}>

Guía docente PDF - Correctness by construction...

Additional Information

Versions

Installed Packages

Resource Usage

HTTP Headers

Request Vars

View information

COOKIES Variables

SESSION Variables

GET Variables

POST Variables

Config

Templates

snippets/csrf_input.html

package/resource_read.html

SQLAlchemy queries

Queries Unavailable

Install required libraries:

Configure Flask-SQLAlchemy:

Log Messages

Route List

Profiler not active

flask.g content

Key	Value
__file__	`'/srv/app/ckan.ini'`
api_token.jwt.algorithm	`'HS256'`
api_token.jwt.decode.secret	`'string:CHANGE_ME'`
api_token.jwt.encode.secret	`'string:CHANGE_ME'`
api_token.nbytes	`32`
apitoken_header_name	`'Authorization'`
APPLICATION_ROOT	`'/'`
BABEL_DEFAULT_TIMEZONE	`'UTC'`
BABEL_DOMAIN	`'ckan'`
BABEL_TRANSLATION_DIRECTORIES	`'/srv/app/src/ckan/ckan/i18n'`
beaker.session.secret	`'CHANGE_ME'`
ckan.activity_list_limit	`31`
ckan.activity_list_limit_max	`100`
ckan.activity_streams_email_notifications	`False`
ckan.activity_streams_enabled	`True`
ckan.auth.allow_admin_collaborators	`False`
ckan.auth.allow_collaborators_to_change_owner_org	`False`
ckan.auth.allow_dataset_collaborators	`False`
ckan.auth.anon_create_dataset	`False`
ckan.auth.create_dataset_if_not_in_organization	`True`
ckan.auth.create_default_api_keys	`False`
ckan.auth.create_unowned_dataset	`False`
ckan.auth.create_user_via_api	`False`
ckan.auth.create_user_via_web	`False`
ckan.auth.enable_cookie_auth_in_api	`True`
ckan.auth.login_view	`'user.login'`
ckan.auth.public_activity_stream_detail	`False`
ckan.auth.public_user_details	`True`
ckan.auth.reveal_private_datasets	`False`
ckan.auth.roles_that_cascade_to_sub_groups	`['admin']`
ckan.auth.route_after_login	`'dashboard.datasets'`
ckan.auth.user_create_groups	`True`
ckan.auth.user_create_organizations	`True`
ckan.auth.user_delete_groups	`True`
ckan.auth.user_delete_organizations	`True`
ckan.base_public_folder	`'public'`
ckan.base_templates_folder	`'templates'`
ckan.cache_enabled	`False`
ckan.cache_expires	`0`
ckan.cors.origin_allow_all	`False`
ckan.cors.origin_whitelist	`[]`
ckan.csrf_protection.ignore_extensions	`True`
ckan.datapusher.api_token	`'eyJhbGciOiJIUzI1NiIsInR5cCI6IkpXVCJ9.eyJqdGkiOiJfQ00wOGVyWm50RnVvNlo1T0tkYnF2RlJQTjlJNy1BOC0xbHpUU3NYZkE0IiwiaWF0IjoxNzc0NTk2ODk3fQ._Q_SaLBGoE_Gd-xQIvJIcpAG2-H9XIVSkgWW2NHaJGM'`
ckan.datapusher.assume_task_stale_after	`3600`
ckan.datapusher.callback_url_base	`'http://ckan:5000'`
ckan.datapusher.formats	`['csv', 'xls', 'xlsx', 'tsv', 'application/csv', 'application/vnd.ms-excel', 'application/vnd.openxmlformats-officedocument.spreadsheetml.sheet', 'ods', 'application/vnd.oasis.opendocument.spreadsheet']`
ckan.datapusher.url	`'http://datapusher:8800'`
ckan.dataset.create_on_ui_requires_resources	`True`
ckan.datasets_per_page	`20`
ckan.datastore.default_fts_index_field_types	`['text', 'tsvector']`
ckan.datastore.default_fts_index_method	`'gist'`
ckan.datastore.default_fts_lang	`'english'`
ckan.datastore.read_url	`'postgresql://datastore_ro:datastore@db/datastore'`
ckan.datastore.search.rows_default	`100`
ckan.datastore.search.rows_max	`32000`
ckan.datastore.sqlalchemy.pool_pre_ping	`True`
ckan.datastore.sqlsearch.allowed_functions_file	`'/srv/app/src/ckan/ckanext/datastore/allowed_functions.txt'`
ckan.datastore.sqlsearch.enabled	`False`
ckan.datastore.write_url	`'postgresql://ckandbuser:ckandbpassword@db/datastore'`
ckan.datatables.data_dictionary_labels	`True`
ckan.datatables.date_format	`'llll'`
ckan.datatables.default_view	`'table'`
ckan.datatables.ellipsis_length	`100`
ckan.datatables.null_label	`''`
ckan.datatables.page_length_choices	`['20', '50', '100', '500', '1000']`
ckan.datatables.state_duration	`7200`
ckan.datatables.state_saving	`True`
ckan.debug_supress_header	`False`
ckan.default.group_type	`'group'`
ckan.default.organization_type	`'organization'`
ckan.default.package_type	`'dataset'`
ckan.default_group_sort	`'title'`
ckan.devserver.host	`'localhost'`
ckan.devserver.multiprocess	`1`
ckan.devserver.port	`5000`
ckan.devserver.ssl_cert	`''`
ckan.devserver.ssl_key	`''`
ckan.devserver.threaded	`False`
ckan.devserver.watch_patterns	`[]`
ckan.display_timezone	`'UTC'`
ckan.download_proxy	`''`
ckan.email_notifications_since	`'2 days'`
ckan.extra_resource_fields	`[]`
ckan.favicon	`'/base/images/ckan.ico'`
ckan.featured_groups	`[]`
ckan.featured_orgs	`[]`
ckan.feeds.author_link	`''`
ckan.feeds.author_name	`''`
ckan.feeds.authority_name	`''`
ckan.feeds.date	`''`
ckan.feeds.limit	`20`
ckan.gravatar_default	`'identicon'`
ckan.group_and_organization_list_all_fields_max	`25`
ckan.group_and_organization_list_max	`1000`
ckan.harvest.mq.hostname	`'redis'`
ckan.harvest.mq.port	`'6379'`
ckan.harvest.mq.redis_db	`'1'`
ckan.harvest.mq.type	`'redis'`
ckan.hide_activity_from_users	`['default']`
ckan.hide_version	`False`
ckan.i18n.extra_directory	`''`
ckan.i18n.extra_gettext_domain	`''`
ckan.i18n.extra_locales	`[]`
ckan.i18n.rtl_languages	`['he', 'ar', 'fa_IR']`
ckan.i18n.rtl_theme	`'css/main-rtl'`
ckan.i18n_directory	`''`
ckan.jobs.timeout	`180`
ckan.legacy_route_mappings	`'{}'`
ckan.locale_default	`'en'`
ckan.locale_order	`[]`
ckan.locales_filtered_out	`[]`
ckan.locales_offered	`[]`
ckan.max_image_size	`2`
ckan.max_resource_size	`100`
ckan.mimetype_guess	`'file_ext'`
ckan.plugins	`['image_view', 'text_view', 'datatables_view', 'datastore', 'datapusher', 'envvars']`
ckan.preview.image_formats	`'png jpeg jpg gif'`
ckan.preview.json_formats	`'json'`
ckan.preview.jsonp_formats	`'jsonp'`
ckan.preview.text_formats	`'text/plain txt plain'`
ckan.preview.xml_formats	`'xml rdf rdf+xml owl+xml atom rss'`
ckan.recaptcha.privatekey	`''`
ckan.recaptcha.publickey	`''`
ckan.redis.url	`'redis://redis:6379/1'`
ckan.requests.timeout	`5`
ckan.resource_formats	`'/srv/app/src/ckan/ckan/config/resource_formats.json'`
ckan.root_path	`''`
ckan.search.default_include_private	`True`
ckan.search.default_package_sort	`'score desc, metadata_modified desc'`
ckan.search.remove_deleted_packages	`True`
ckan.search.rows_max	`1000`
ckan.search.show_all_types	`'dataset'`
ckan.search.solr_allowed_query_parsers	`[]`
ckan.search.solr_commit	`True`
ckan.site_about	`''`
ckan.site_custom_css	`''`
ckan.site_description	`''`
ckan.site_id	`'default'`
ckan.site_intro_text	`''`
ckan.site_logo	`'/base/images/ckan-logo.png'`
ckan.site_title	`'GUIA'`
ckan.site_url	`'https://portal.guia.linkeddata.es'`
ckan.static_max_age	`3600`
ckan.storage_path	`'/var/lib/ckan'`
ckan.template_title_delimiter	`'-'`
ckan.theme	`'css/main'`
ckan.upload.group.mimetypes	`['image/png', 'image/gif', 'image/jpeg']`
ckan.upload.group.types	`['image']`
ckan.upload.user.mimetypes	`['image/png', 'image/gif', 'image/jpeg']`
ckan.upload.user.types	`['image']`
ckan.user.last_active_interval	`600`
ckan.user_list_limit	`20`
ckan.user_reset_landing_page	`'home.index'`
ckan.valid_url_schemes	`['http', 'https', 'ftp']`
ckan.views.default_views	`['image_view', 'datatables_view']`
ckan.webassets.path	`''`
ckan.webassets.url	`'/webassets'`
ckan.webassets.use_x_sendfile	`False`
CKAN___API_TOKEN__JWT__DECODE__SECRET	`'string:CHANGE_ME'`
CKAN___API_TOKEN__JWT__ENCODE__SECRET	`'string:CHANGE_ME'`
CKAN___BEAKER__SESSION__SECRET	`'CHANGE_ME'`
CKAN__DATAPUSHER__CALLBACK_URL_BASE	`'http://ckan:5000'`
CKAN__HARVEST__MQ__HOSTNAME	`'redis'`
CKAN__HARVEST__MQ__PORT	`'6379'`
CKAN__HARVEST__MQ__REDIS_DB	`'1'`
CKAN__HARVEST__MQ__TYPE	`'redis'`
CKAN__PLUGINS	`'image_view text_view datatables_view datastore datapusher envvars'`
CKAN_CONFIG	`'/srv/app/ckan.ini'`
ckan_config	`'/srv/app/ckan.ini'`
CKAN_DATAPUSHER_URL	`'http://datapusher:8800'`
ckan_datapusher_url	`'http://datapusher:8800'`
CKAN_DATASTORE_READ_URL	`'postgresql://datastore_ro:datastore@db/datastore'`
ckan_datastore_read_url	`'postgresql://datastore_ro:datastore@db/datastore'`
CKAN_DATASTORE_WRITE_URL	`'postgresql://ckandbuser:ckandbpassword@db/datastore'`
ckan_datastore_write_url	`'postgresql://ckandbuser:ckandbpassword@db/datastore'`
CKAN_DB	`'ckandb'`
ckan_db	`'ckandb'`
CKAN_DB_PASSWORD	`'ckandbpassword'`
ckan_db_password	`'ckandbpassword'`
CKAN_DB_USER	`'ckandbuser'`
ckan_db_user	`'ckandbuser'`
CKAN_INI	`'/srv/app/ckan.ini'`
ckan_ini	`'/srv/app/ckan.ini'`
CKAN_MAX_UPLOAD_SIZE_MB	`'100'`
ckan_max_upload_size_mb	`'100'`
CKAN_PORT_HOST	`'5000'`
ckan_port_host	`'5000'`
CKAN_REDIS_URL	`'redis://redis:6379/1'`
ckan_redis_url	`'redis://redis:6379/1'`
CKAN_REF	`'ckan-2.11.3'`
ckan_ref	`'ckan-2.11.3'`
CKAN_SITE_ID	`'default'`
ckan_site_id	`'default'`
CKAN_SITE_URL	`'https://portal.guia.linkeddata.es'`
ckan_site_url	`'https://portal.guia.linkeddata.es'`
CKAN_SMTP_MAIL_FROM	`'ckan@localhost'`
ckan_smtp_mail_from	`'ckan@localhost'`
CKAN_SMTP_PASSWORD	`'pass'`
ckan_smtp_password	`'pass'`
CKAN_SMTP_SERVER	`'smtp.corporateict.domain:25'`
ckan_smtp_server	`'smtp.corporateict.domain:25'`
CKAN_SMTP_STARTTLS	`'True'`
ckan_smtp_starttls	`'True'`
CKAN_SMTP_USER	`'user'`
ckan_smtp_user	`'user'`
CKAN_SOLR_URL	`'http://solr:8983/solr/ckan'`
ckan_solr_url	`'http://solr:8983/solr/ckan'`
CKAN_SQLALCHEMY_URL	`'postgresql://ckandbuser:ckandbpassword@db/ckandb'`
ckan_sqlalchemy_url	`'postgresql://ckandbuser:ckandbpassword@db/ckandb'`
CKAN_STORAGE_PATH	`'/var/lib/ckan'`
ckan_storage_path	`'/var/lib/ckan'`
CKAN_SYSADMIN_EMAIL	`'your_email@example.com'`
ckan_sysadmin_email	`'your_email@example.com'`
CKAN_SYSADMIN_NAME	`'ckan_admin'`
ckan_sysadmin_name	`'ckan_admin'`
CKAN_SYSADMIN_PASSWORD	`'test1234'`
ckan_sysadmin_password	`'test1234'`
CKAN_VERSION	`'2.10.0'`
ckan_version	`'2.10.0'`
clear_logo_upload	`''`
computed_template_paths	`['/srv/app/src/ckan/ckanext/imageview/theme/templates', '/srv/app/src/ckan/ckanext/textview/templates', '/srv/app/src/ckan/ckanext/datatablesview/templates', '/srv/app/src/ckan/ckanext/datastore/templates', '/srv/app/src/ckan/ckanext/datapusher/templates', '/srv/app/src/ckan/ckan/templates']`
config.mode	`'strict'`
DEBUG	`True`
debug	`True`
DEBUG_TB_ENABLED	`True`
DEBUG_TB_HOSTS	`()`
DEBUG_TB_INTERCEPT_REDIRECTS	`False`
DEBUG_TB_PANELS	('flask_debugtoolbar.panels.versions.VersionDebugPanel', 'flask_debugtoolbar.panels.timer.TimerDebugPanel', 'flask_debugtoolbar.panels.headers.HeaderDebugPanel', 'flask_debugtoolbar.panels.request_vars.RequestVarsDebugPanel', 'flask_debugtoolbar.panels.config_vars.ConfigVarsDebugPanel', 'flask_debugtoolbar.panels.template.TemplateDebugPanel', 'flask_debugtoolbar.panels.sqlalchemy.SQLAlchemyDebugPanel', 'flask_debugtoolbar.panels.logger.LoggingPanel', 'flask_debugtoolbar.panels.route_list.RouteListDebugPanel', 'flask_debugtoolbar.panels.profiler.ProfilerDebugPanel', 'flask_debugtoolbar.panels.g.GDebugPanel')
email_to	`''`
error_email_from	`''`
EXPLAIN_TEMPLATE_LOADING	`False`
extra_public_paths	`''`
extra_template_paths	`''`
here	`'/srv/app'`
licenses_group_url	`''`
logo_upload	`''`
MAX_CONTENT_LENGTH	`None`
MAX_COOKIE_SIZE	`4093`
package_edit_return_url	`''`
package_hide_extras	`[]`
package_new_return_url	`''`
PERMANENT_SESSION_LIFETIME	`31536000`
plugin_public_paths	`['/srv/app/src/ckan/ckanext/datatablesview/public', '/srv/app/src/ckan/ckanext/datapusher/public']`
plugin_template_paths	`['/srv/app/src/ckan/ckanext/imageview/theme/templates', '/srv/app/src/ckan/ckanext/textview/templates', '/srv/app/src/ckan/ckanext/datatablesview/templates', '/srv/app/src/ckan/ckanext/datastore/templates', '/srv/app/src/ckan/ckanext/datapusher/templates']`
PREFERRED_URL_SCHEME	`'http'`
PROPAGATE_EXCEPTIONS	`None`
REMEMBER_COOKIE_DOMAIN	`None`
REMEMBER_COOKIE_DURATION	`31536000`
REMEMBER_COOKIE_HTTPONLY	`True`
REMEMBER_COOKIE_NAME	`'remember_token'`
REMEMBER_COOKIE_PATH	`'/'`
REMEMBER_COOKIE_REFRESH_EACH_REQUEST	`False`
REMEMBER_COOKIE_SAMESITE	`'None'`
REMEMBER_COOKIE_SECURE	`False`
search.facets	`['organization', 'groups', 'tags', 'res_format', 'license_id']`
search.facets.default	`10`
search.facets.limit	`50`
SECRET_KEY	`'7VTbsaZFQUTT0lce0Hh26xkpQRK23MS_L6wilxqaOz8'`
SEND_FILE_MAX_AGE_DEFAULT	`None`
SERVER_NAME	`None`
SESSION_COOKIE_DOMAIN	`''`
SESSION_COOKIE_HTTPONLY	`True`
SESSION_COOKIE_NAME	`'ckan'`
SESSION_COOKIE_PATH	`''`
SESSION_COOKIE_SAMESITE	`'Lax'`
SESSION_COOKIE_SECURE	`False`
SESSION_KEY_PREFIX	`'session:'`
SESSION_PERMANENT	`True`
SESSION_REFRESH_EACH_REQUEST	`False`
SESSION_TYPE	`'cookie'`
SESSION_USE_SIGNER	`False`
smtp.mail_from	`'ckan@localhost'`
smtp.password	`'pass'`
smtp.reply_to	`''`
smtp.server	`'smtp.corporateict.domain:25'`
smtp.starttls	`True`
smtp.user	`'user'`
solr_password	`''`
solr_timeout	`60`
solr_url	`'http://solr:8983/solr/ckan'`
solr_user	`''`
sqlalchemy.pool_pre_ping	`True`
sqlalchemy.url	`'postgresql://ckandbuser:ckandbpassword@db/ckandb'`
SQLALCHEMY_RECORD_QUERIES	`True`
TEMPLATES_AUTO_RELOAD	`None`
TESTING	`False`
testing	`False`
TRAP_BAD_REQUEST_ERRORS	`None`
TRAP_HTTP_EXCEPTIONS	`False`
use	`'egg:ckan'`
USE_X_SENDFILE	`False`
WTF_CSRF_CHECK_DEFAULT	`True`
WTF_CSRF_ENABLED	`True`
WTF_CSRF_FIELD_NAME	`'_csrf_token'`
WTF_CSRF_HEADERS	`['X-CSRFToken', 'X-CSRF-Token']`
WTF_CSRF_METHODS	`{'POST', 'PATCH', 'DELETE', 'PUT'}`
WTF_CSRF_SECRET_KEY	`'4Ym93K2i9YURBYXrxkvqaNpGGP6BQlJ7qQMZsWwW0gw'`
WTF_CSRF_SSL_STRICT	`True`
WTF_CSRF_TIME_LIMIT	`31536000`
WTF_I18N_ENABLED	`True`

Variable	Value
csrf_token	<function generate_csrf at 0x7f35e46b5000>
current_resource_view	None
current_user	<ckan.model.user.AnonymousUser object at 0x7f35be5cfa90>
dataset_type	'dataset'
g	<flask.g of 'ckan.config.middleware.flask_app'>
package	{'author': None, 'author_email': None, 'creator_user_id': '5dc2757a-2c47-49f9-b485-7f894406aab6', 'id': 'e1640ff1-2011-49ee-94a5-d3f9999ab153', 'isopen': False, 'license_id': None, 'license_title': None, 'maintainer': None, 'maintainer_email': None, 'metadata_created': '2026-03-06T21:08:03.511467', 'metadata_modified': '2026-03-06T21:08:04.065447', 'name': '2025-26-2s-10am-103000657-correctness-by-construction-103000657', 'notes': 'Guía docente de la asignatura Correctness by construction (103000657)\n\nAño académico: 2025-26\nSemestre: 2S\nPlan: Master universitario en ingenieria del software (10AM)\nCódigo de plan: 10AM\nTipo de plan: Planes de Estudios\nTipo de asignatura: Asignaturas del Plan de Estudios\nCódigo de asignatura: 103000657\n\nPáginas relacionadas:\n- Datos descriptivos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/datos-descriptivos\n- Profesorado: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/profesorado\n- Requisitos previos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/requisitos-previos\n- Competencias y resultados: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/competencias-y-resultados-aprendizaje\n- Temario: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/temario\n- Cronograma: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/cronograma\n- Evaluación: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/evaluacion\n- Recursos didácticos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/recursos-didacticos\n- Otra información: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/otra-informacion', 'num_resources': 1, 'num_tags': 4, 'organization': {'id': '1ca124dc-b84c-4cf5-907d-0f8423603a6c', 'name': 'upm', 'title': 'universidad politecnica de madrid', 'type': 'organization', 'description': '', 'image_url': '2025-07-20-133807.727507256x256bb.jpg', 'created': '2025-07-20T13:38:07.752646', 'is_organization': True, 'approval_status': 'approved', 'state': 'active'}, 'owner_org': '1ca124dc-b84c-4cf5-907d-0f8423603a6c', 'private': False, 'state': 'active', 'title': 'Correctness by construction (103000657) [103000657] - 2025-26 2S', 'type': 'dataset', 'url': None, 'version': None, 'extras': [{'key': 'academic_year', 'value': '2025-26'}, {'key': 'info_competences_and_results_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/competencias-y-resultados-aprendizaje'}, {'key': 'info_description_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/datos-descriptivos'}, {'key': 'info_evaluation_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/evaluacion'}, {'key': 'info_other_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/otra-informacion'}, {'key': 'info_prev_requirements_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/requisitos-previos'}, {'key': 'info_professors_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/profesorado'}, {'key': 'info_resources_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/recursos-didacticos'}, {'key': 'info_schedule_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/cronograma'}, {'key': 'info_syllabus_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/temario'}, {'key': 'semester', 'value': '2S'}, {'key': 'study_plan_code', 'value': '10AM'}, {'key': 'study_plan_name', 'value': 'Master universitario en ingenieria del software (10AM)'}, {'key': 'study_plan_type', 'value': 'Planes de Estudios'}, {'key': 'subject_code', 'value': '103000657'}, {'key': 'subject_name', 'value': 'Correctness by construction (103000657)'}, {'key': 'subject_type', 'value': 'Asignaturas del Plan de Estudios'}], 'resources': [{'cache_last_updated': None, 'cache_url': None, 'created': '2026-03-06T21:08:04.096073', 'datastore_active': False, 'description': 'PDF remoto de la guía docente de Correctness by construction (103000657) (2025-26 2S)', 'format': 'PDF', 'hash': '', 'id': '9cbc9ffe-5401-4597-9324-7e682af4dfbe', 'last_modified': None, 'metadata_modified': '2026-03-06T21:08:04.076637', 'mimetype': 'application/pdf', 'mimetype_inner': None, 'name': 'Guía docente PDF - Correctness by construction (103000657)', 'package_id': 'e1640ff1-2011-49ee-94a5-d3f9999ab153', 'position': 0, 'resource_type': 'file', 'size': None, 'state': 'active', 'url': 'https://www.upm.es/comun_gauss/publico/guias/2025-26/2S/GA_10AM_103000657_2S_2025-26.pdf', 'url_type': None, 'has_views': False}], 'tags': [{'display_name': '103000657', 'id': 'cf044527-7f91-423f-bd33-b0ba34f889be', 'name': '103000657', 'state': 'active', 'vocabulary_id': None}, {'display_name': '10am', 'id': 'c4721523-9f81-434b-90d5-7f391de71224', 'name': '10am', 'state': 'active', 'vocabulary_id': None}, {'display_name': '2025-26', 'id': '6e057e85-3869-46c2-b17e-2460268aab76', 'name': '2025-26', 'state': 'active', 'vocabulary_id': None}, {'display_name': '2s', 'id': '2abbbf7e-3554-44a6-b2f3-9a0d743aeaef', 'name': '2s', 'state': 'active', 'vocabulary_id': None}], 'groups': [], 'relationships_as_subject': [], 'relationships_as_object': []}
pkg	<Package id=e1640ff1-2011-49ee-94a5-d3f9999ab153 name=2025-26-2s-10am-103000657-correctness-by-construction-103000657 title=Correctness by construction (103000657) [103000657] - 2025-26 2S version=None url=None author=None author_email=None maintainer=None maintainer_email=None notes=Guía docente de la asignatura Correctness by construction (103000657) Año académico: 2025-26 Semestre: 2S Plan: Master universitario en ingenieria del software (10AM) Código de plan: 10AM Tipo de plan: Planes de Estudios Tipo de asignatura: Asignaturas del Plan de Estudios Código de asignatura: 103000657 Páginas relacionadas: - Datos descriptivos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/datos-descriptivos - Profesorado: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/profesorado - Requisitos previos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/requisitos-previos - Competencias y resultados: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/competencias-y-resultados-aprendizaje - Temario: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/temario - Cronograma: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/cronograma - Evaluación: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/evaluacion - Recursos didácticos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/recursos-didacticos - Otra información: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/otra-informacion license_id=None type=dataset owner_org=1ca124dc-b84c-4cf5-907d-0f8423603a6c creator_user_id=5dc2757a-2c47-49f9-b485-7f894406aab6 metadata_created=2026-03-06 21:08:03.511467 metadata_modified=2026-03-06 21:08:04.065447 private=False state=active plugin_data=None>
pkg_dict	{'author': None, 'author_email': None, 'creator_user_id': '5dc2757a-2c47-49f9-b485-7f894406aab6', 'id': 'e1640ff1-2011-49ee-94a5-d3f9999ab153', 'isopen': False, 'license_id': None, 'license_title': None, 'maintainer': None, 'maintainer_email': None, 'metadata_created': '2026-03-06T21:08:03.511467', 'metadata_modified': '2026-03-06T21:08:04.065447', 'name': '2025-26-2s-10am-103000657-correctness-by-construction-103000657', 'notes': 'Guía docente de la asignatura Correctness by construction (103000657)\n\nAño académico: 2025-26\nSemestre: 2S\nPlan: Master universitario en ingenieria del software (10AM)\nCódigo de plan: 10AM\nTipo de plan: Planes de Estudios\nTipo de asignatura: Asignaturas del Plan de Estudios\nCódigo de asignatura: 103000657\n\nPáginas relacionadas:\n- Datos descriptivos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/datos-descriptivos\n- Profesorado: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/profesorado\n- Requisitos previos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/requisitos-previos\n- Competencias y resultados: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/competencias-y-resultados-aprendizaje\n- Temario: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/temario\n- Cronograma: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/cronograma\n- Evaluación: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/evaluacion\n- Recursos didácticos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/recursos-didacticos\n- Otra información: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/otra-informacion', 'num_resources': 1, 'num_tags': 4, 'organization': {'id': '1ca124dc-b84c-4cf5-907d-0f8423603a6c', 'name': 'upm', 'title': 'universidad politecnica de madrid', 'type': 'organization', 'description': '', 'image_url': '2025-07-20-133807.727507256x256bb.jpg', 'created': '2025-07-20T13:38:07.752646', 'is_organization': True, 'approval_status': 'approved', 'state': 'active'}, 'owner_org': '1ca124dc-b84c-4cf5-907d-0f8423603a6c', 'private': False, 'state': 'active', 'title': 'Correctness by construction (103000657) [103000657] - 2025-26 2S', 'type': 'dataset', 'url': None, 'version': None, 'extras': [{'key': 'academic_year', 'value': '2025-26'}, {'key': 'info_competences_and_results_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/competencias-y-resultados-aprendizaje'}, {'key': 'info_description_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/datos-descriptivos'}, {'key': 'info_evaluation_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/evaluacion'}, {'key': 'info_other_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/otra-informacion'}, {'key': 'info_prev_requirements_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/requisitos-previos'}, {'key': 'info_professors_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/profesorado'}, {'key': 'info_resources_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/recursos-didacticos'}, {'key': 'info_schedule_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/cronograma'}, {'key': 'info_syllabus_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/temario'}, {'key': 'semester', 'value': '2S'}, {'key': 'study_plan_code', 'value': '10AM'}, {'key': 'study_plan_name', 'value': 'Master universitario en ingenieria del software (10AM)'}, {'key': 'study_plan_type', 'value': 'Planes de Estudios'}, {'key': 'subject_code', 'value': '103000657'}, {'key': 'subject_name', 'value': 'Correctness by construction (103000657)'}, {'key': 'subject_type', 'value': 'Asignaturas del Plan de Estudios'}], 'resources': [{'cache_last_updated': None, 'cache_url': None, 'created': '2026-03-06T21:08:04.096073', 'datastore_active': False, 'description': 'PDF remoto de la guía docente de Correctness by construction (103000657) (2025-26 2S)', 'format': 'PDF', 'hash': '', 'id': '9cbc9ffe-5401-4597-9324-7e682af4dfbe', 'last_modified': None, 'metadata_modified': '2026-03-06T21:08:04.076637', 'mimetype': 'application/pdf', 'mimetype_inner': None, 'name': 'Guía docente PDF - Correctness by construction (103000657)', 'package_id': 'e1640ff1-2011-49ee-94a5-d3f9999ab153', 'position': 0, 'resource_type': 'file', 'size': None, 'state': 'active', 'url': 'https://www.upm.es/comun_gauss/publico/guias/2025-26/2S/GA_10AM_103000657_2S_2025-26.pdf', 'url_type': None, 'has_views': False}], 'tags': [{'display_name': '103000657', 'id': 'cf044527-7f91-423f-bd33-b0ba34f889be', 'name': '103000657', 'state': 'active', 'vocabulary_id': None}, {'display_name': '10am', 'id': 'c4721523-9f81-434b-90d5-7f391de71224', 'name': '10am', 'state': 'active', 'vocabulary_id': None}, {'display_name': '2025-26', 'id': '6e057e85-3869-46c2-b17e-2460268aab76', 'name': '2025-26', 'state': 'active', 'vocabulary_id': None}, {'display_name': '2s', 'id': '2abbbf7e-3554-44a6-b2f3-9a0d743aeaef', 'name': '2s', 'state': 'active', 'vocabulary_id': None}], 'groups': [], 'relationships_as_subject': [], 'relationships_as_object': []}
request	<Request 'http://portal.guia.linkeddata.es/dataset/2025-26-2s-10am-103000657-correctness-by-construction-103000657/resource/9cbc9ffe-5401-4597-9324-7e682af4dfbe' [GET]>
resource	{'cache_last_updated': None, 'cache_url': None, 'created': '2026-03-06T21:08:04.096073', 'datastore_active': False, 'description': 'PDF remoto de la guía docente de Correctness by construction (103000657) (2025-26 2S)', 'format': 'PDF', 'hash': '', 'id': '9cbc9ffe-5401-4597-9324-7e682af4dfbe', 'last_modified': None, 'metadata_modified': '2026-03-06T21:08:04.076637', 'mimetype': 'application/pdf', 'mimetype_inner': None, 'name': 'Guía docente PDF - Correctness by construction (103000657)', 'package_id': 'e1640ff1-2011-49ee-94a5-d3f9999ab153', 'position': 0, 'resource_type': 'file', 'size': None, 'state': 'active', 'url': 'https://www.upm.es/comun_gauss/publico/guias/2025-26/2S/GA_10AM_103000657_2S_2025-26.pdf', 'url_type': None, 'has_views': False}
resource_views	[]
session	<SecureCookieSession {'_csrf_token': 'db13472ed361d756c57b4172338d1484272a1dec', '_fresh': False, '_permanent': True}>

URL route	Endpoint name	HTTP methods	Is alias	Redirect to
/	home.index	GET, HEAD, OPTIONS	False	None
/<path:filename>	static	GET, HEAD, OPTIONS	False	None
/about	home.about	GET, HEAD, OPTIONS	False	None
/api/	api.get_api	GET, HEAD, OPTIONS	False	None
/api/<int(min=1, max=2):ver>/i18n/<lang>	api.i18n_js_translations	GET, HEAD, OPTIONS	False	None
/api/<int(min=1, max=2):ver>/util/dataset/autocomplete	api.dataset_autocomplete	GET, HEAD, OPTIONS	False	None
/api/<int(min=1, max=2):ver>/util/group/autocomplete	api.group_autocomplete	GET, HEAD, OPTIONS	False	None
/api/<int(min=1, max=2):ver>/util/organization/autocomplete	api.organization_autocomplete	GET, HEAD, OPTIONS	False	None
/api/<int(min=1, max=2):ver>/util/resource/format_autocomplete	api.format_autocomplete	GET, HEAD, OPTIONS	False	None
/api/<int(min=1, max=2):ver>/util/snippet/<snippet_path>	api.snippet	GET, HEAD, OPTIONS	False	None
/api/<int(min=1, max=2):ver>/util/tag/autocomplete	api.tag_autocomplete	GET, HEAD, OPTIONS	False	None
/api/<int(min=1, max=2):ver>/util/user/autocomplete	api.user_autocomplete	GET, HEAD, OPTIONS	False	None
/api/<int(min=1, max=3):ver>	api.get_api	GET, HEAD, OPTIONS	False	None
/api/<int(min=3, max=3):ver>/action/<logic_function>	api.action	GET, HEAD, OPTIONS, POST	False	None
/api/action/<logic_function>	api.action	GET, HEAD, OPTIONS, POST	False	None
/api/i18n/<lang>	api.i18n_js_translations	GET, HEAD, OPTIONS	False	None
/api/util/dataset/autocomplete	api.dataset_autocomplete	GET, HEAD, OPTIONS	False	None
/api/util/group/autocomplete	api.group_autocomplete	GET, HEAD, OPTIONS	False	None
/api/util/organization/autocomplete	api.organization_autocomplete	GET, HEAD, OPTIONS	False	None
/api/util/resource/format_autocomplete	api.format_autocomplete	GET, HEAD, OPTIONS	False	None
/api/util/snippet/<snippet_path>	api.snippet	GET, HEAD, OPTIONS	False	None
/api/util/tag/autocomplete	api.tag_autocomplete	GET, HEAD, OPTIONS	False	None
/api/util/user/autocomplete	api.user_autocomplete	GET, HEAD, OPTIONS	False	None
/ckan-admin/	admin.index	GET, HEAD, OPTIONS	False	None
/ckan-admin/config	admin.config	GET, HEAD, OPTIONS, POST	False	None
/ckan-admin/reset_config	admin.reset_config	GET, HEAD, OPTIONS, POST	False	None
/ckan-admin/trash	admin.trash	GET, HEAD, OPTIONS, POST	False	None
/dashboard/datasets	dashboard.datasets	GET, HEAD, OPTIONS	False	None
/dashboard/groups	dashboard.groups	GET, HEAD, OPTIONS	False	None
/dashboard/organizations	dashboard.organizations	GET, HEAD, OPTIONS	False	None
/dataset/	dataset.search	GET, HEAD, OPTIONS	False	None
/dataset/<id>	dataset.read	GET, HEAD, OPTIONS	False	None
/dataset/<id>/delete-datastore/<resource_id>	datapusher.delete_datastore_table	OPTIONS, POST	False	None
/dataset/<id>/dictionary/<resource_id>	datastore.dictionary	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource/<resource_id>	dataset_resource.read	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>	resource.read	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>/delete	dataset_resource.delete	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource/<resource_id>/delete	resource.delete	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource/<resource_id>/download	dataset_resource.download	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>/download	resource.download	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>/download/<filename>	dataset_resource.download	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>/download/<filename>	resource.download	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>/edit	dataset_resource.edit	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource/<resource_id>/edit	resource.edit	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource/<resource_id>/edit_view/<view_id>	dataset_resource.edit_view	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource/<resource_id>/edit_view/<view_id>	resource.edit_view	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource/<resource_id>/new_view	dataset_resource.edit_view	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource/<resource_id>/new_view	resource.edit_view	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource/<resource_id>/view	dataset_resource.view	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>/view	resource.view	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>/view/<view_id>	dataset_resource.view	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>/view/<view_id>	resource.view	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>/views	dataset_resource.views	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/<resource_id>/views	resource.views	GET, HEAD, OPTIONS	False	None
/dataset/<id>/resource/new	dataset_resource.new	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource/new	resource.new	GET, HEAD, OPTIONS, POST	False	None
/dataset/<id>/resource_data/<resource_id>	datapusher.resource_data	GET, HEAD, OPTIONS, POST	False	None
/dataset/delete/<id>	dataset.delete	GET, HEAD, OPTIONS, POST	False	None
/dataset/edit/<id>	dataset.edit	GET, HEAD, OPTIONS, POST	False	None
/dataset/follow/<id>	dataset.follow	OPTIONS, POST	False	None
/dataset/followers/<id>	dataset.followers	GET, HEAD, OPTIONS	False	None
/dataset/groups/<id>	dataset.groups	GET, HEAD, OPTIONS, POST	False	None
/dataset/new	dataset.new	GET, HEAD, OPTIONS, POST	False	None
/dataset/resources/<id>	dataset.resources	GET, HEAD, OPTIONS	False	None
/dataset/unfollow/<id>	dataset.unfollow	OPTIONS, POST	False	None
/datastore/dump/<resource_id>	datastore.dump	GET, HEAD, OPTIONS	False	None
/datatables/ajax/<resource_view_id>	datatablesview.ajax	OPTIONS, POST	False	None
/datatables/filtered-download/<resource_view_id>	datatablesview.filtered_download	OPTIONS, POST	False	None
/feeds/custom.atom	feeds.custom	GET, HEAD, OPTIONS	False	None
/feeds/dataset.atom	feeds.general	GET, HEAD, OPTIONS	False	None
/feeds/group/<string:id>.atom	feeds.group	GET, HEAD, OPTIONS	False	None
/feeds/organization/<string:id>.atom	feeds.organization	GET, HEAD, OPTIONS	False	None
/feeds/tag/<string:id>.atom	feeds.tag	GET, HEAD, OPTIONS	False	None
/group/	group.index	GET, HEAD, OPTIONS	False	None
/group/<id>	group.read	GET, HEAD, OPTIONS	False	None
/group/about/<id>	group.about	GET, HEAD, OPTIONS	False	None
/group/admins/<id>	group.admins	GET, HEAD, OPTIONS, POST	False	None
/group/bulk_process/<id>	group.bulk_process	GET, HEAD, OPTIONS, POST	False	None
/group/delete/<id>	group.delete	GET, HEAD, OPTIONS, POST	False	None
/group/edit/<id>	group.edit	GET, HEAD, OPTIONS, POST	False	None
/group/follow/<id>	group.follow	OPTIONS, POST	False	None
/group/followers/<id>	group.followers	GET, HEAD, OPTIONS, POST	False	None
/group/manage_members/<id>	group.manage_members	GET, HEAD, OPTIONS, POST	False	None
/group/member_delete/<id>	group.member_delete	GET, HEAD, OPTIONS, POST	False	None
/group/member_dump/<id>	group.member_dump	GET, HEAD, OPTIONS	False	None
/group/member_new/<id>	group.member_new	GET, HEAD, OPTIONS, POST	False	None
/group/members/<id>	group.members	GET, HEAD, OPTIONS	False	None
/group/new	group.new	GET, HEAD, OPTIONS, POST	False	None
/group/unfollow/<id>	group.unfollow	OPTIONS, POST	False	None
/no/	home.redirect_locale	GET, HEAD, OPTIONS	False	None
/no/<path:path>	home.redirect_locale	GET, HEAD, OPTIONS	False	None
/organization/	organization.index	GET, HEAD, OPTIONS	False	None
/organization/<id>	organization.read	GET, HEAD, OPTIONS	False	None
/organization/about/<id>	organization.about	GET, HEAD, OPTIONS	False	None
/organization/admins/<id>	organization.admins	GET, HEAD, OPTIONS, POST	False	None
/organization/bulk_process/<id>	organization.bulk_process	GET, HEAD, OPTIONS, POST	False	None
/organization/delete/<id>	organization.delete	GET, HEAD, OPTIONS, POST	False	None
/organization/edit/<id>	organization.edit	GET, HEAD, OPTIONS, POST	False	None
/organization/follow/<id>	organization.follow	OPTIONS, POST	False	None
/organization/followers/<id>	organization.followers	GET, HEAD, OPTIONS, POST	False	None
/organization/manage_members/<id>	organization.manage_members	GET, HEAD, OPTIONS, POST	False	None
/organization/member_delete/<id>	organization.member_delete	GET, HEAD, OPTIONS, POST	False	None
/organization/member_dump/<id>	organization.member_dump	GET, HEAD, OPTIONS	False	None
/organization/member_new/<id>	organization.member_new	GET, HEAD, OPTIONS, POST	False	None
/organization/members/<id>	organization.members	GET, HEAD, OPTIONS	False	None
/organization/new	organization.new	GET, HEAD, OPTIONS, POST	False	None
/organization/unfollow/<id>	organization.unfollow	OPTIONS, POST	False	None
/robots.txt	home.robots_txt	GET, HEAD, OPTIONS	False	None
/testing/primer	util.primer	GET, HEAD, OPTIONS	False	None
/user/	user.index	GET, HEAD, OPTIONS	False	None
/user/<id>	user.read	GET, HEAD, OPTIONS	False	None
/user/<id>/api-tokens	user.api_tokens	GET, HEAD, OPTIONS, POST	False	None
/user/<id>/api-tokens/<jti>/revoke	user.api_token_revoke	OPTIONS, POST	False	None
/user/<id>/groups	user.read_groups	GET, HEAD, OPTIONS	False	None
/user/<id>/organizations	user.read_organizations	GET, HEAD, OPTIONS	False	None
/user/_logout	user.logout	GET, HEAD, OPTIONS, POST	False	None
/user/delete/<id>	user.delete	GET, HEAD, OPTIONS, POST	False	None
/user/edit	user.edit	GET, HEAD, OPTIONS, POST	False	None
/user/edit/<id>	user.edit	GET, HEAD, OPTIONS, POST	False	None
/user/follow/<id>	user.follow	OPTIONS, POST	False	None
/user/followers/<id>	user.followers	GET, HEAD, OPTIONS	False	None
/user/logged_out_redirect	user.logged_out_page	GET, HEAD, OPTIONS	False	None
/user/login	user.login	GET, HEAD, OPTIONS, POST	False	None
/user/me	user.me	GET, HEAD, OPTIONS	False	None
/user/register	user.register	GET, HEAD, OPTIONS, POST	False	None
/user/reset	user.request_reset	GET, HEAD, OPTIONS, POST	False	None
/user/reset/<id>	user.perform_reset	GET, HEAD, OPTIONS, POST	False	None
/user/sysadmin	user.sysadmin	OPTIONS, POST	False	None
/user/unfollow/<id>	user.unfollow	OPTIONS, POST	False	None
/util/redirect	util.internal_redirect	GET, HEAD, OPTIONS, POST	False	None
/webassets/<path:path>	webassets.index	GET, HEAD, OPTIONS	False	None
/zh_CN/	home.redirect_locale	GET, HEAD, OPTIONS	False	None
/zh_CN/<path:path>	home.redirect_locale	GET, HEAD, OPTIONS	False	None
/zh_TW/	home.redirect_locale	GET, HEAD, OPTIONS	False	None
/zh_TW/<path:path>	home.redirect_locale	GET, HEAD, OPTIONS	False	None

Key	Value
__timer	1777311879.4008553
_csrf_token	ImRiMTM0NzJlZDM2MWQ3NTZjNTdiNDE3MjMzOGQxNDg0MjcyYTFkZWMi.ae-ghw.dQRfgh6aoOdRNnAn4pl_wJ8Fsgc
_flask_babel	namespace(babel_domain=<Domain(None, ['ckan'])>, babel_locale=Locale('en'), babel_tzinfo=<UTC>)
_login_user	<ckan.model.user.AnonymousUser object at 0x7f35be5cfa90>
_webassets	{'style': [], 'script': [], 'included': {'ckanext_datastore/datastore', 'css/main', 'ckanext_datastore/datastore_css', 'vendor/bootstrap', 'vendor/jquery', 'vendor/vendor', 'vendor/htmx', 'base/ckan', 'base/main', 'vendor/select2-css', 'vendor/fontawesome'}}
author	216.73.216.130
blueprint	dataset_resource
csrf_field_name	_csrf_token
debug_toolbar	<flask_debugtoolbar.DebugToolbarExtension object at 0x7f35e34a3a90>
login_via_auth_header	True
package	{'author': None, 'author_email': None, 'creator_user_id': '5dc2757a-2c47-49f9-b485-7f894406aab6', 'id': 'e1640ff1-2011-49ee-94a5-d3f9999ab153', 'isopen': False, 'license_id': None, 'license_title': None, 'maintainer': None, 'maintainer_email': None, 'metadata_created': '2026-03-06T21:08:03.511467', 'metadata_modified': '2026-03-06T21:08:04.065447', 'name': '2025-26-2s-10am-103000657-correctness-by-construction-103000657', 'notes': 'Guía docente de la asignatura Correctness by construction (103000657)\n\nAño académico: 2025-26\nSemestre: 2S\nPlan: Master universitario en ingenieria del software (10AM)\nCódigo de plan: 10AM\nTipo de plan: Planes de Estudios\nTipo de asignatura: Asignaturas del Plan de Estudios\nCódigo de asignatura: 103000657\n\nPáginas relacionadas:\n- Datos descriptivos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/datos-descriptivos\n- Profesorado: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/profesorado\n- Requisitos previos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/requisitos-previos\n- Competencias y resultados: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/competencias-y-resultados-aprendizaje\n- Temario: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/temario\n- Cronograma: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/cronograma\n- Evaluación: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/evaluacion\n- Recursos didácticos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/recursos-didacticos\n- Otra información: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/otra-informacion', 'num_resources': 1, 'num_tags': 4, 'organization': {'id': '1ca124dc-b84c-4cf5-907d-0f8423603a6c', 'name': 'upm', 'title': 'universidad politecnica de madrid', 'type': 'organization', 'description': '', 'image_url': '2025-07-20-133807.727507256x256bb.jpg', 'created': '2025-07-20T13:38:07.752646', 'is_organization': True, 'approval_status': 'approved', 'state': 'active'}, 'owner_org': '1ca124dc-b84c-4cf5-907d-0f8423603a6c', 'private': False, 'state': 'active', 'title': 'Correctness by construction (103000657) [103000657] - 2025-26 2S', 'type': 'dataset', 'url': None, 'version': None, 'extras': [{'key': 'academic_year', 'value': '2025-26'}, {'key': 'info_competences_and_results_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/competencias-y-resultados-aprendizaje'}, {'key': 'info_description_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/datos-descriptivos'}, {'key': 'info_evaluation_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/evaluacion'}, {'key': 'info_other_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/otra-informacion'}, {'key': 'info_prev_requirements_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/requisitos-previos'}, {'key': 'info_professors_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/profesorado'}, {'key': 'info_resources_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/recursos-didacticos'}, {'key': 'info_schedule_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/cronograma'}, {'key': 'info_syllabus_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/temario'}, {'key': 'semester', 'value': '2S'}, {'key': 'study_plan_code', 'value': '10AM'}, {'key': 'study_plan_name', 'value': 'Master universitario en ingenieria del software (10AM)'}, {'key': 'study_plan_type', 'value': 'Planes de Estudios'}, {'key': 'subject_code', 'value': '103000657'}, {'key': 'subject_name', 'value': 'Correctness by construction (103000657)'}, {'key': 'subject_type', 'value': 'Asignaturas del Plan de Estudios'}], 'resources': [{'cache_last_updated': None, 'cache_url': None, 'created': '2026-03-06T21:08:04.096073', 'datastore_active': False, 'description': 'PDF remoto de la guía docente de Correctness by construction (103000657) (2025-26 2S)', 'format': 'PDF', 'hash': '', 'id': '9cbc9ffe-5401-4597-9324-7e682af4dfbe', 'last_modified': None, 'metadata_modified': '2026-03-06T21:08:04.076637', 'mimetype': 'application/pdf', 'mimetype_inner': None, 'name': 'Guía docente PDF - Correctness by construction (103000657)', 'package_id': 'e1640ff1-2011-49ee-94a5-d3f9999ab153', 'position': 0, 'resource_type': 'file', 'size': None, 'state': 'active', 'url': 'https://www.upm.es/comun_gauss/publico/guias/2025-26/2S/GA_10AM_103000657_2S_2025-26.pdf', 'url_type': None, 'has_views': False}], 'tags': [{'display_name': '103000657', 'id': 'cf044527-7f91-423f-bd33-b0ba34f889be', 'name': '103000657', 'state': 'active', 'vocabulary_id': None}, {'display_name': '10am', 'id': 'c4721523-9f81-434b-90d5-7f391de71224', 'name': '10am', 'state': 'active', 'vocabulary_id': None}, {'display_name': '2025-26', 'id': '6e057e85-3869-46c2-b17e-2460268aab76', 'name': '2025-26', 'state': 'active', 'vocabulary_id': None}, {'display_name': '2s', 'id': '2abbbf7e-3554-44a6-b2f3-9a0d743aeaef', 'name': '2s', 'state': 'active', 'vocabulary_id': None}], 'groups': [], 'relationships_as_subject': [], 'relationships_as_object': []}
pkg	<Package id=e1640ff1-2011-49ee-94a5-d3f9999ab153 name=2025-26-2s-10am-103000657-correctness-by-construction-103000657 title=Correctness by construction (103000657) [103000657] - 2025-26 2S version=None url=None author=None author_email=None maintainer=None maintainer_email=None notes=Guía docente de la asignatura Correctness by construction (103000657) Año académico: 2025-26 Semestre: 2S Plan: Master universitario en ingenieria del software (10AM) Código de plan: 10AM Tipo de plan: Planes de Estudios Tipo de asignatura: Asignaturas del Plan de Estudios Código de asignatura: 103000657 Páginas relacionadas: - Datos descriptivos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/datos-descriptivos - Profesorado: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/profesorado - Requisitos previos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/requisitos-previos - Competencias y resultados: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/competencias-y-resultados-aprendizaje - Temario: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/temario - Cronograma: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/cronograma - Evaluación: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/evaluacion - Recursos didácticos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/recursos-didacticos - Otra información: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/otra-informacion license_id=None type=dataset owner_org=1ca124dc-b84c-4cf5-907d-0f8423603a6c creator_user_id=5dc2757a-2c47-49f9-b485-7f894406aab6 metadata_created=2026-03-06 21:08:03.511467 metadata_modified=2026-03-06 21:08:04.065447 private=False state=active plugin_data=None>
pkg_dict	{'author': None, 'author_email': None, 'creator_user_id': '5dc2757a-2c47-49f9-b485-7f894406aab6', 'id': 'e1640ff1-2011-49ee-94a5-d3f9999ab153', 'isopen': False, 'license_id': None, 'license_title': None, 'maintainer': None, 'maintainer_email': None, 'metadata_created': '2026-03-06T21:08:03.511467', 'metadata_modified': '2026-03-06T21:08:04.065447', 'name': '2025-26-2s-10am-103000657-correctness-by-construction-103000657', 'notes': 'Guía docente de la asignatura Correctness by construction (103000657)\n\nAño académico: 2025-26\nSemestre: 2S\nPlan: Master universitario en ingenieria del software (10AM)\nCódigo de plan: 10AM\nTipo de plan: Planes de Estudios\nTipo de asignatura: Asignaturas del Plan de Estudios\nCódigo de asignatura: 103000657\n\nPáginas relacionadas:\n- Datos descriptivos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/datos-descriptivos\n- Profesorado: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/profesorado\n- Requisitos previos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/requisitos-previos\n- Competencias y resultados: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/competencias-y-resultados-aprendizaje\n- Temario: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/temario\n- Cronograma: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/cronograma\n- Evaluación: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/evaluacion\n- Recursos didácticos: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/recursos-didacticos\n- Otra información: https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/otra-informacion', 'num_resources': 1, 'num_tags': 4, 'organization': {'id': '1ca124dc-b84c-4cf5-907d-0f8423603a6c', 'name': 'upm', 'title': 'universidad politecnica de madrid', 'type': 'organization', 'description': '', 'image_url': '2025-07-20-133807.727507256x256bb.jpg', 'created': '2025-07-20T13:38:07.752646', 'is_organization': True, 'approval_status': 'approved', 'state': 'active'}, 'owner_org': '1ca124dc-b84c-4cf5-907d-0f8423603a6c', 'private': False, 'state': 'active', 'title': 'Correctness by construction (103000657) [103000657] - 2025-26 2S', 'type': 'dataset', 'url': None, 'version': None, 'extras': [{'key': 'academic_year', 'value': '2025-26'}, {'key': 'info_competences_and_results_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/competencias-y-resultados-aprendizaje'}, {'key': 'info_description_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/datos-descriptivos'}, {'key': 'info_evaluation_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/evaluacion'}, {'key': 'info_other_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/otra-informacion'}, {'key': 'info_prev_requirements_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/requisitos-previos'}, {'key': 'info_professors_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/profesorado'}, {'key': 'info_resources_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/recursos-didacticos'}, {'key': 'info_schedule_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/cronograma'}, {'key': 'info_syllabus_url', 'value': 'https://www.upm.es/gauss/principal.upm/guias/consulta/consulta-guia/2025-26/2S/10AM/103000657/temario'}, {'key': 'semester', 'value': '2S'}, {'key': 'study_plan_code', 'value': '10AM'}, {'key': 'study_plan_name', 'value': 'Master universitario en ingenieria del software (10AM)'}, {'key': 'study_plan_type', 'value': 'Planes de Estudios'}, {'key': 'subject_code', 'value': '103000657'}, {'key': 'subject_name', 'value': 'Correctness by construction (103000657)'}, {'key': 'subject_type', 'value': 'Asignaturas del Plan de Estudios'}], 'resources': [{'cache_last_updated': None, 'cache_url': None, 'created': '2026-03-06T21:08:04.096073', 'datastore_active': False, 'description': 'PDF remoto de la guía docente de Correctness by construction (103000657) (2025-26 2S)', 'format': 'PDF', 'hash': '', 'id': '9cbc9ffe-5401-4597-9324-7e682af4dfbe', 'last_modified': None, 'metadata_modified': '2026-03-06T21:08:04.076637', 'mimetype': 'application/pdf', 'mimetype_inner': None, 'name': 'Guía docente PDF - Correctness by construction (103000657)', 'package_id': 'e1640ff1-2011-49ee-94a5-d3f9999ab153', 'position': 0, 'resource_type': 'file', 'size': None, 'state': 'active', 'url': 'https://www.upm.es/comun_gauss/publico/guias/2025-26/2S/GA_10AM_103000657_2S_2025-26.pdf', 'url_type': None, 'has_views': False}], 'tags': [{'display_name': '103000657', 'id': 'cf044527-7f91-423f-bd33-b0ba34f889be', 'name': '103000657', 'state': 'active', 'vocabulary_id': None}, {'display_name': '10am', 'id': 'c4721523-9f81-434b-90d5-7f391de71224', 'name': '10am', 'state': 'active', 'vocabulary_id': None}, {'display_name': '2025-26', 'id': '6e057e85-3869-46c2-b17e-2460268aab76', 'name': '2025-26', 'state': 'active', 'vocabulary_id': None}, {'display_name': '2s', 'id': '2abbbf7e-3554-44a6-b2f3-9a0d743aeaef', 'name': '2s', 'state': 'active', 'vocabulary_id': None}], 'groups': [], 'relationships_as_subject': [], 'relationships_as_object': []}
remote_addr	216.73.216.130
resource	{'cache_last_updated': None, 'cache_url': None, 'created': '2026-03-06T21:08:04.096073', 'datastore_active': False, 'description': 'PDF remoto de la guía docente de Correctness by construction (103000657) (2025-26 2S)', 'format': 'PDF', 'hash': '', 'id': '9cbc9ffe-5401-4597-9324-7e682af4dfbe', 'last_modified': None, 'metadata_modified': '2026-03-06T21:08:04.076637', 'mimetype': 'application/pdf', 'mimetype_inner': None, 'name': 'Guía docente PDF - Correctness by construction (103000657)', 'package_id': 'e1640ff1-2011-49ee-94a5-d3f9999ab153', 'position': 0, 'resource_type': 'file', 'size': None, 'state': 'active', 'url': 'https://www.upm.es/comun_gauss/publico/guias/2025-26/2S/GA_10AM_103000657_2S_2025-26.pdf', 'url_type': None, 'has_views': False}
user
userobj
view	read