Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Specification AND description language SDL ). Showing records 1 – 24 of 24 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Júlio Resende Ribeiro. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste.

Degree: 2008, Instituto Nacional de Pesquisas Espaciais

O objetivo, dos testes de software, é detectar faltas latentes antes que produtos de software sejam colocados em funcionamento. Existem métodos para a geração automática… (more)

Subjects/Keywords: Specification and description language (SDL); simulação; especificação; verificação e validação; casos de teste; specification and description language (SDL); simulation; specification; verification and validation; test cases

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ribeiro, J. R. (2008). J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste. (Thesis). Instituto Nacional de Pesquisas Espaciais. Retrieved from http://urlib.net/sid.inpe.br/[email protected]/2008/12.02.12.01

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ribeiro, Júlio Resende. “J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste.” 2008. Thesis, Instituto Nacional de Pesquisas Espaciais. Accessed July 24, 2019. http://urlib.net/sid.inpe.br/[email protected]/2008/12.02.12.01.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ribeiro, Júlio Resende. “J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste.” 2008. Web. 24 Jul 2019.

Vancouver:

Ribeiro JR. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste. [Internet] [Thesis]. Instituto Nacional de Pesquisas Espaciais; 2008. [cited 2019 Jul 24]. Available from: http://urlib.net/sid.inpe.br/[email protected]/2008/12.02.12.01.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ribeiro JR. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste. [Thesis]. Instituto Nacional de Pesquisas Espaciais; 2008. Available from: http://urlib.net/sid.inpe.br/[email protected]/2008/12.02.12.01

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Αλωνιστιώτη, Αθανασία. Ανοικτές, αντικειμενοστραφείς, SDL πλατφόρμες ορισμού υπηρεσιών, πρωτοκόλλων και προτύπων για συστήματα επικοινωνιών 3ης γενιάς και έξυπνω...

Degree: 1998, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); National and Kapodistrian University of Athens

Subjects/Keywords: Σύστημα κινητών επικοινωνικών τρίτης γενιάς UMTS; IN / UMTS λειτουργικό μοντέλο; SDL ( Specification and Description Language), Γλώσσα ορισμού και περιγραφής; SDL - IDL; SDL - CORBA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Αλωνιστιώτη, . (1998). Ανοικτές, αντικειμενοστραφείς, SDL πλατφόρμες ορισμού υπηρεσιών, πρωτοκόλλων και προτύπων για συστήματα επικοινωνιών 3ης γενιάς και έξυπνω... (Thesis). Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); National and Kapodistrian University of Athens. Retrieved from http://hdl.handle.net/10442/hedi/22152

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Αλωνιστιώτη, Αθανασία. “Ανοικτές, αντικειμενοστραφείς, SDL πλατφόρμες ορισμού υπηρεσιών, πρωτοκόλλων και προτύπων για συστήματα επικοινωνιών 3ης γενιάς και έξυπνω...” 1998. Thesis, Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); National and Kapodistrian University of Athens. Accessed July 24, 2019. http://hdl.handle.net/10442/hedi/22152.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Αλωνιστιώτη, Αθανασία. “Ανοικτές, αντικειμενοστραφείς, SDL πλατφόρμες ορισμού υπηρεσιών, πρωτοκόλλων και προτύπων για συστήματα επικοινωνιών 3ης γενιάς και έξυπνω...” 1998. Web. 24 Jul 2019.

Vancouver:

Αλωνιστιώτη . Ανοικτές, αντικειμενοστραφείς, SDL πλατφόρμες ορισμού υπηρεσιών, πρωτοκόλλων και προτύπων για συστήματα επικοινωνιών 3ης γενιάς και έξυπνω... [Internet] [Thesis]. Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); National and Kapodistrian University of Athens; 1998. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10442/hedi/22152.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Αλωνιστιώτη . Ανοικτές, αντικειμενοστραφείς, SDL πλατφόρμες ορισμού υπηρεσιών, πρωτοκόλλων και προτύπων για συστήματα επικοινωνιών 3ης γενιάς και έξυπνω... [Thesis]. Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (ΕΚΠΑ); National and Kapodistrian University of Athens; 1998. Available from: http://hdl.handle.net/10442/hedi/22152

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Ottawa

3. Alghamdi, Aliaa. Queued and Pooled Semantics for State Machines in the Umple Model-Oriented Programming Language .

Degree: 2015, University of Ottawa

 This thesis describes extensions to state machines in the Umple model-oriented programming language to offer queued state machines (QSM), pooled state machines (PSM) and handing… (more)

Subjects/Keywords: Umple; Model-Oriented Programming Language; Queued State Machine (QSM); Pooled State Machine (PSM); Unspecified Reception; Finite State Machine (FSM); Test-Driven Development (TDD); Communicating Finite state Machine (CFSM); Unified Modelling Language (UML); Specification and Description Language (SDL)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Alghamdi, A. (2015). Queued and Pooled Semantics for State Machines in the Umple Model-Oriented Programming Language . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/31961

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Alghamdi, Aliaa. “Queued and Pooled Semantics for State Machines in the Umple Model-Oriented Programming Language .” 2015. Thesis, University of Ottawa. Accessed July 24, 2019. http://hdl.handle.net/10393/31961.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Alghamdi, Aliaa. “Queued and Pooled Semantics for State Machines in the Umple Model-Oriented Programming Language .” 2015. Web. 24 Jul 2019.

Vancouver:

Alghamdi A. Queued and Pooled Semantics for State Machines in the Umple Model-Oriented Programming Language . [Internet] [Thesis]. University of Ottawa; 2015. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10393/31961.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Alghamdi A. Queued and Pooled Semantics for State Machines in the Umple Model-Oriented Programming Language . [Thesis]. University of Ottawa; 2015. Available from: http://hdl.handle.net/10393/31961

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


ETH Zürich

4. Haroud, Malek. Equivalence checking for asynchronous software.

Degree: 2005, ETH Zürich

Subjects/Keywords: VERIFIKATION (SOFTWARE ENGINEERING); SDL, SPECIFICATION AND DESCRIPTION LANGUAGE (COMPUTERSYSTEME); C (PROGRAMMIERSPRACHEN); VERIFICATION (SOFTWARE ENGINEERING); SDL, SPECIFICATION AND DESCRIPTION LANGUAGE (COMPUTER SYSTEMS); C (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Haroud, M. (2005). Equivalence checking for asynchronous software. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/149048

Chicago Manual of Style (16th Edition):

Haroud, Malek. “Equivalence checking for asynchronous software.” 2005. Doctoral Dissertation, ETH Zürich. Accessed July 24, 2019. http://hdl.handle.net/20.500.11850/149048.

MLA Handbook (7th Edition):

Haroud, Malek. “Equivalence checking for asynchronous software.” 2005. Web. 24 Jul 2019.

Vancouver:

Haroud M. Equivalence checking for asynchronous software. [Internet] [Doctoral dissertation]. ETH Zürich; 2005. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/20.500.11850/149048.

Council of Science Editors:

Haroud M. Equivalence checking for asynchronous software. [Doctoral Dissertation]. ETH Zürich; 2005. Available from: http://hdl.handle.net/20.500.11850/149048


ETH Zürich

5. Bay, Till Gaston Balz. Eiffel SDL multimedia library (ESDL).

Degree: 2003, ETH Zürich

Subjects/Keywords: EIFFEL (PROGRAMMIERSPRACHEN); SDL, SPECIFICATION AND DESCRIPTION LANGUAGE (COMPUTERSYSTEME); SOFTWAREBIBLIOTHEKEN + PROGRAMMBIBLIOTHEKEN (SOFTWARE ENGINEERING); MULTIMEDIA (INFORMATIONSSYSTEME); EIFFEL (PROGRAMMING LANGUAGES); SDL, SPECIFICATION AND DESCRIPTION LANGUAGE (COMPUTER SYSTEMS); SOFTWARE LIBRARIES + PROGRAM LIBRARIES (SOFTWARE ENGINEERING); MULTIMEDIA (INFORMATION SYSTEMS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bay, T. G. B. (2003). Eiffel SDL multimedia library (ESDL). (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/149014

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bay, Till Gaston Balz. “Eiffel SDL multimedia library (ESDL).” 2003. Thesis, ETH Zürich. Accessed July 24, 2019. http://hdl.handle.net/20.500.11850/149014.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bay, Till Gaston Balz. “Eiffel SDL multimedia library (ESDL).” 2003. Web. 24 Jul 2019.

Vancouver:

Bay TGB. Eiffel SDL multimedia library (ESDL). [Internet] [Thesis]. ETH Zürich; 2003. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/20.500.11850/149014.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bay TGB. Eiffel SDL multimedia library (ESDL). [Thesis]. ETH Zürich; 2003. Available from: http://hdl.handle.net/20.500.11850/149014

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Jönköping University

6. MUBEEN, SAAD. EVALUATION OF SOURCE ROUTING FOR MESH TOPOLOGY NETWORK ON CHIP PLATFORMS.

Degree: Computer and Electrical Engineering, 2009, Jönköping University

  Network on Chip is a scalable and flexible communication infrastructure for the design of core based System on Chip. Communication performance of a NoC… (more)

Subjects/Keywords: Network on Chip (NoC); System on Chip (SoC); Core Based Design; On Chip Communication; Distributed Routing; Source Routing; Routing Algorithms; Performance Analysis; Packet Switched Network; Specification and Description Language (SDL); Other Electrical Engineering, Electronic Engineering, Information Engineering; Annan elektroteknik och elektronik; Other Electrical Engineering, Electronic Engineering, Information Engineering; Annan elektroteknik och elektronik; Computer Engineering; Datorteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

MUBEEN, S. (2009). EVALUATION OF SOURCE ROUTING FOR MESH TOPOLOGY NETWORK ON CHIP PLATFORMS. (Thesis). Jönköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-9591

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

MUBEEN, SAAD. “EVALUATION OF SOURCE ROUTING FOR MESH TOPOLOGY NETWORK ON CHIP PLATFORMS.” 2009. Thesis, Jönköping University. Accessed July 24, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-9591.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

MUBEEN, SAAD. “EVALUATION OF SOURCE ROUTING FOR MESH TOPOLOGY NETWORK ON CHIP PLATFORMS.” 2009. Web. 24 Jul 2019.

Vancouver:

MUBEEN S. EVALUATION OF SOURCE ROUTING FOR MESH TOPOLOGY NETWORK ON CHIP PLATFORMS. [Internet] [Thesis]. Jönköping University; 2009. [cited 2019 Jul 24]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-9591.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

MUBEEN S. EVALUATION OF SOURCE ROUTING FOR MESH TOPOLOGY NETWORK ON CHIP PLATFORMS. [Thesis]. Jönköping University; 2009. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-9591

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Virginia Tech

7. Sidky, Ahmed Samy. RGML: A Specification Language that Supports the Characterization of Requirements Generation Processes.

Degree: MS, Computer Science, 2003, Virginia Tech

 Despite advancements in requirements generation models, methods and tools, low quality requirements are still being produced. One potential avenue for addressing this problem is to… (more)

Subjects/Keywords: Process Description Language; Requirements Generation Process; Requirements Specification Language; Markup Language; Specification Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sidky, A. S. (2003). RGML: A Specification Language that Supports the Characterization of Requirements Generation Processes. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/34237

Chicago Manual of Style (16th Edition):

Sidky, Ahmed Samy. “RGML: A Specification Language that Supports the Characterization of Requirements Generation Processes.” 2003. Masters Thesis, Virginia Tech. Accessed July 24, 2019. http://hdl.handle.net/10919/34237.

MLA Handbook (7th Edition):

Sidky, Ahmed Samy. “RGML: A Specification Language that Supports the Characterization of Requirements Generation Processes.” 2003. Web. 24 Jul 2019.

Vancouver:

Sidky AS. RGML: A Specification Language that Supports the Characterization of Requirements Generation Processes. [Internet] [Masters thesis]. Virginia Tech; 2003. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10919/34237.

Council of Science Editors:

Sidky AS. RGML: A Specification Language that Supports the Characterization of Requirements Generation Processes. [Masters Thesis]. Virginia Tech; 2003. Available from: http://hdl.handle.net/10919/34237


NSYSU

8. Hung, Fu-Mei. Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company.

Degree: Master, Human Resource Management, 2008, NSYSU

 âJob Analysisâ is the basic constitution of human resource management, and it is also a management activity in an organization. The main purpose is to… (more)

Subjects/Keywords: Job Description; Job Analysis; Job Specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hung, F. (2008). Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0908108-150640

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hung, Fu-Mei. “Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company.” 2008. Thesis, NSYSU. Accessed July 24, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0908108-150640.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hung, Fu-Mei. “Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company.” 2008. Web. 24 Jul 2019.

Vancouver:

Hung F. Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company. [Internet] [Thesis]. NSYSU; 2008. [cited 2019 Jul 24]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0908108-150640.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hung F. Using Job Analysis to Establish Job Description and Job Specification-J Company Is The Case Company. [Thesis]. NSYSU; 2008. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0908108-150640

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


NSYSU

9. Lin, Pei-Wen. Talent Development and Manpower Planning of Traditional Wood Industry: The case of F Company.

Degree: Master, EMBA, 2017, NSYSU

 This study is a practical application-oriented research. The aim of this research is to analyze the job requirement and to clarify job authority, content, responsibility… (more)

Subjects/Keywords: succession planning; job analysis; job description; job specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lin, P. (2017). Talent Development and Manpower Planning of Traditional Wood Industry: The case of F Company. (Thesis). NSYSU. Retrieved from http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0504117-082937

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lin, Pei-Wen. “Talent Development and Manpower Planning of Traditional Wood Industry: The case of F Company.” 2017. Thesis, NSYSU. Accessed July 24, 2019. http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0504117-082937.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lin, Pei-Wen. “Talent Development and Manpower Planning of Traditional Wood Industry: The case of F Company.” 2017. Web. 24 Jul 2019.

Vancouver:

Lin P. Talent Development and Manpower Planning of Traditional Wood Industry: The case of F Company. [Internet] [Thesis]. NSYSU; 2017. [cited 2019 Jul 24]. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0504117-082937.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lin P. Talent Development and Manpower Planning of Traditional Wood Industry: The case of F Company. [Thesis]. NSYSU; 2017. Available from: http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0504117-082937

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

10. Carriço, Bruno Miguel Alves. e-Recruitment: descrição e inferência sobre oferta e procura.

Degree: 2014, Repositório Científico do Instituto Politécnico de Lisboa

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Informática e de Computadores

A procura pelo currículo que melhor responda às necessidades dos… (more)

Subjects/Keywords: HR-XML recruiting specification; OWL/DL description logic; Recruitment semantic matching

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Carriço, B. M. A. (2014). e-Recruitment: descrição e inferência sobre oferta e procura. (Thesis). Repositório Científico do Instituto Politécnico de Lisboa. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Carriço, Bruno Miguel Alves. “e-Recruitment: descrição e inferência sobre oferta e procura.” 2014. Thesis, Repositório Científico do Instituto Politécnico de Lisboa. Accessed July 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Carriço, Bruno Miguel Alves. “e-Recruitment: descrição e inferência sobre oferta e procura.” 2014. Web. 24 Jul 2019.

Vancouver:

Carriço BMA. e-Recruitment: descrição e inferência sobre oferta e procura. [Internet] [Thesis]. Repositório Científico do Instituto Politécnico de Lisboa; 2014. [cited 2019 Jul 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Carriço BMA. e-Recruitment: descrição e inferência sobre oferta e procura. [Thesis]. Repositório Científico do Instituto Politécnico de Lisboa; 2014. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio.ipl.pt:10400.21/3746

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universitat Politècnica de València

11. de la Vara González, José Luis. Business process-based requirements specification and object-oriented conceptual modelling of information systems .

Degree: 2011, Universitat Politècnica de València

 Two of the main needs when developing an information system for an organization are that system analysts know and understand the application domain and that… (more)

Subjects/Keywords: Requirements engineering; Business process modelling; Conceptual modelling; Information system; Requirements specification; Bpmn; Extended task description

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

de la Vara González, J. L. (2011). Business process-based requirements specification and object-oriented conceptual modelling of information systems . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/11445

Chicago Manual of Style (16th Edition):

de la Vara González, José Luis. “Business process-based requirements specification and object-oriented conceptual modelling of information systems .” 2011. Doctoral Dissertation, Universitat Politècnica de València. Accessed July 24, 2019. http://hdl.handle.net/10251/11445.

MLA Handbook (7th Edition):

de la Vara González, José Luis. “Business process-based requirements specification and object-oriented conceptual modelling of information systems .” 2011. Web. 24 Jul 2019.

Vancouver:

de la Vara González JL. Business process-based requirements specification and object-oriented conceptual modelling of information systems . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2011. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10251/11445.

Council of Science Editors:

de la Vara González JL. Business process-based requirements specification and object-oriented conceptual modelling of information systems . [Doctoral Dissertation]. Universitat Politècnica de València; 2011. Available from: http://hdl.handle.net/10251/11445


Technical University of Lisbon

12. Inácio, João Miguel Maia. Análise e descrição de funções na Joper.

Degree: 2014, Technical University of Lisbon

Mestrado em Gestão de Recursos Humanos

O presente relatório surge no seguimento do estágio realizado no Departamento de Gestão de Recursos Humanos da JOPER Equipamentos… (more)

Subjects/Keywords: Gestão de Recursos Humanos; Análise de Funções; Descrição e Especificação de Funções; Human Resource Management; Job Analysis; Job Description and Specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Inácio, J. M. M. (2014). Análise e descrição de funções na Joper. (Thesis). Technical University of Lisbon. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/7488

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Inácio, João Miguel Maia. “Análise e descrição de funções na Joper.” 2014. Thesis, Technical University of Lisbon. Accessed July 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/7488.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Inácio, João Miguel Maia. “Análise e descrição de funções na Joper.” 2014. Web. 24 Jul 2019.

Vancouver:

Inácio JMM. Análise e descrição de funções na Joper. [Internet] [Thesis]. Technical University of Lisbon; 2014. [cited 2019 Jul 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/7488.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Inácio JMM. Análise e descrição de funções na Joper. [Thesis]. Technical University of Lisbon; 2014. Available from: http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/7488

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Waikato

13. Berry, Jacqueline. The application of job analysis, the O*NET and competency modelling in New Zealand organisations .

Degree: 2009, University of Waikato

 The present study aimed to gain an understanding of the extent to which human resource professionals are using and applying job analysis, the Occupational Information… (more)

Subjects/Keywords: Job Analysis; Job Description; Person Specification; O*NET; Occupational Information Network; Competency Modelling; Organisational Psychology; Human Resource Management; HRM; Psychology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Berry, J. (2009). The application of job analysis, the O*NET and competency modelling in New Zealand organisations . (Masters Thesis). University of Waikato. Retrieved from http://hdl.handle.net/10289/3955

Chicago Manual of Style (16th Edition):

Berry, Jacqueline. “The application of job analysis, the O*NET and competency modelling in New Zealand organisations .” 2009. Masters Thesis, University of Waikato. Accessed July 24, 2019. http://hdl.handle.net/10289/3955.

MLA Handbook (7th Edition):

Berry, Jacqueline. “The application of job analysis, the O*NET and competency modelling in New Zealand organisations .” 2009. Web. 24 Jul 2019.

Vancouver:

Berry J. The application of job analysis, the O*NET and competency modelling in New Zealand organisations . [Internet] [Masters thesis]. University of Waikato; 2009. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10289/3955.

Council of Science Editors:

Berry J. The application of job analysis, the O*NET and competency modelling in New Zealand organisations . [Masters Thesis]. University of Waikato; 2009. Available from: http://hdl.handle.net/10289/3955


Queens University

14. Imam, Fahim. An Ontology-Oriented Approach to Represent and Compare the Functional Behaviour of Event-Based Systems .

Degree: Computing, Queens University

 Representing the functional behaviour of a system is a critical practice in any engineering discipline. However, how to compare and reason about the represented systems… (more)

Subjects/Keywords: Ontologies; Functional Reasoning; Event-Driven Systems; Formal Specification; Formal Verification; Artificial Intelligence; Software Engineering; Software Design Recovery; Program Comprehinsion; Description Logics; OWL; Web Ontology Language; Commonsense Reasoning; Functional Behaviour Reasoning; Requirements Engineering; Requirements Specification; Requirements Analysis; Consistency Management; Event-Based Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Imam, F. (n.d.). An Ontology-Oriented Approach to Represent and Compare the Functional Behaviour of Event-Based Systems . (Thesis). Queens University. Retrieved from http://hdl.handle.net/1974/22937

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Imam, Fahim. “An Ontology-Oriented Approach to Represent and Compare the Functional Behaviour of Event-Based Systems .” Thesis, Queens University. Accessed July 24, 2019. http://hdl.handle.net/1974/22937.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Imam, Fahim. “An Ontology-Oriented Approach to Represent and Compare the Functional Behaviour of Event-Based Systems .” Web. 24 Jul 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Imam F. An Ontology-Oriented Approach to Represent and Compare the Functional Behaviour of Event-Based Systems . [Internet] [Thesis]. Queens University; [cited 2019 Jul 24]. Available from: http://hdl.handle.net/1974/22937.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

Imam F. An Ontology-Oriented Approach to Represent and Compare the Functional Behaviour of Event-Based Systems . [Thesis]. Queens University; Available from: http://hdl.handle.net/1974/22937

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.


Technical University of Lisbon

15. Marques, Ana Rita Pires. Desenvolvimento do sistema de análise e descrição de funções da Associação Mais Proximidade Melhor Vida.

Degree: 2015, Technical University of Lisbon

Mestrado em Gestão de Recursos Humanos

Este trabalho tem como principal fim o desenvolvimento de um Sistema de Análise e Descrição de Funções para a… (more)

Subjects/Keywords: Análise e Descrição de Funções; Descritivo de funções; Especificação de funções; Competências; AMPMV; Description and Job Analysis; Function Descriptive; Function Specification; Competencies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Marques, A. R. P. (2015). Desenvolvimento do sistema de análise e descrição de funções da Associação Mais Proximidade Melhor Vida. (Thesis). Technical University of Lisbon. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/10607

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Marques, Ana Rita Pires. “Desenvolvimento do sistema de análise e descrição de funções da Associação Mais Proximidade Melhor Vida.” 2015. Thesis, Technical University of Lisbon. Accessed July 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/10607.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Marques, Ana Rita Pires. “Desenvolvimento do sistema de análise e descrição de funções da Associação Mais Proximidade Melhor Vida.” 2015. Web. 24 Jul 2019.

Vancouver:

Marques ARP. Desenvolvimento do sistema de análise e descrição de funções da Associação Mais Proximidade Melhor Vida. [Internet] [Thesis]. Technical University of Lisbon; 2015. [cited 2019 Jul 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/10607.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Marques ARP. Desenvolvimento do sistema de análise e descrição de funções da Associação Mais Proximidade Melhor Vida. [Thesis]. Technical University of Lisbon; 2015. Available from: http://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/10607

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Technical University of Lisbon

16. Ribeiros, Ana Luísa Cavaco. Análise e descrição de funções na empresa Suma - Serviços Urbanos e Meio Ambiente.

Degree: 2016, Technical University of Lisbon

Mestrado em Gestão de Recursos Humanos

O presente trabalho tem como objetivo analisar os descritivos funcionais existentes na empresa SUMA - Serviços Urbanos e Meio… (more)

Subjects/Keywords: Análise e descrição de funções; Especificação de funções; Competências; Gestão de recursos humanos; Description and Job Analysis; Function Descriptive; Function Specification; Competencies; Human Resources Management.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ribeiros, A. L. C. (2016). Análise e descrição de funções na empresa Suma - Serviços Urbanos e Meio Ambiente. (Thesis). Technical University of Lisbon. Retrieved from https://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/11890

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ribeiros, Ana Luísa Cavaco. “Análise e descrição de funções na empresa Suma - Serviços Urbanos e Meio Ambiente.” 2016. Thesis, Technical University of Lisbon. Accessed July 24, 2019. https://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/11890.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ribeiros, Ana Luísa Cavaco. “Análise e descrição de funções na empresa Suma - Serviços Urbanos e Meio Ambiente.” 2016. Web. 24 Jul 2019.

Vancouver:

Ribeiros ALC. Análise e descrição de funções na empresa Suma - Serviços Urbanos e Meio Ambiente. [Internet] [Thesis]. Technical University of Lisbon; 2016. [cited 2019 Jul 24]. Available from: https://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/11890.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ribeiros ALC. Análise e descrição de funções na empresa Suma - Serviços Urbanos e Meio Ambiente. [Thesis]. Technical University of Lisbon; 2016. Available from: https://www.rcaap.pt/detail.jsp?id=oai:www.repository.utl.pt:10400.5/11890

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Rio Grande do Sul

17. Granville, Lisandro Zambenedetti. E-dart : um ambiente de especificação e-lotos.

Degree: 1998, Universidade do Rio Grande do Sul

O aumento crescente da complexidade dos sistemas computacionais criou a necessidade do uso de técnicas de descrição formal (TDFs) na definição, implementação e manutenção dos… (more)

Subjects/Keywords: Redes : Computadores; E-LOTOS; Especificacao : Sistemas; E-DART; Especificacao formal; Specification; Formal description techniques

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Granville, L. Z. (1998). E-dart : um ambiente de especificação e-lotos. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/25625

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Granville, Lisandro Zambenedetti. “E-dart : um ambiente de especificação e-lotos.” 1998. Thesis, Universidade do Rio Grande do Sul. Accessed July 24, 2019. http://hdl.handle.net/10183/25625.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Granville, Lisandro Zambenedetti. “E-dart : um ambiente de especificação e-lotos.” 1998. Web. 24 Jul 2019.

Vancouver:

Granville LZ. E-dart : um ambiente de especificação e-lotos. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 1998. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10183/25625.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Granville LZ. E-dart : um ambiente de especificação e-lotos. [Thesis]. Universidade do Rio Grande do Sul; 1998. Available from: http://hdl.handle.net/10183/25625

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


North-West University

18. Thebe, Thapelo Phillip. A comprehensive human resource recruitment and selection model :|bthe case of the Department of Justice and Constitutional Development / Thapelo Phillip Thebe .

Degree: 2014, North-West University

 The present research investigated the challenges and problems facing the public sector institutions regarding the processes, procedures, practices, steps and methods used for human resource… (more)

Subjects/Keywords: Department of Justice and Constitutional Development; Human resource planning; Job analysis; Job description; Job specification; Advertising; Screening; Selection; Interviews; Aptitude; Competency; Placement; Training; Development; Performance; Appraisal; Human resource recruitment and selection model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Thebe, T. P. (2014). A comprehensive human resource recruitment and selection model :|bthe case of the Department of Justice and Constitutional Development / Thapelo Phillip Thebe . (Thesis). North-West University. Retrieved from http://hdl.handle.net/10394/12047

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Thebe, Thapelo Phillip. “A comprehensive human resource recruitment and selection model :|bthe case of the Department of Justice and Constitutional Development / Thapelo Phillip Thebe .” 2014. Thesis, North-West University. Accessed July 24, 2019. http://hdl.handle.net/10394/12047.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Thebe, Thapelo Phillip. “A comprehensive human resource recruitment and selection model :|bthe case of the Department of Justice and Constitutional Development / Thapelo Phillip Thebe .” 2014. Web. 24 Jul 2019.

Vancouver:

Thebe TP. A comprehensive human resource recruitment and selection model :|bthe case of the Department of Justice and Constitutional Development / Thapelo Phillip Thebe . [Internet] [Thesis]. North-West University; 2014. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10394/12047.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Thebe TP. A comprehensive human resource recruitment and selection model :|bthe case of the Department of Justice and Constitutional Development / Thapelo Phillip Thebe . [Thesis]. North-West University; 2014. Available from: http://hdl.handle.net/10394/12047

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of South Africa

19. Muller, Catherina Elizabeth. 'n Ondersoek na die rol van werkontleding in die uitvoering van funksionele personeelbedrywighede met verwysing na die Stadsraad van Lichtenburg .

Degree: 1997, University of South Africa

 Werkontleding word onderneem om die onderskeie funksies wat in 'n instelling uitgevoer word, te ontleed en te groepeer as pligte van individuele betrekkings wat in… (more)

Subjects/Keywords: Job classification; Job analysis; Job description; Job specification; Personnel provision; Personnel training and development; Personnel compensation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Muller, C. E. (1997). 'n Ondersoek na die rol van werkontleding in die uitvoering van funksionele personeelbedrywighede met verwysing na die Stadsraad van Lichtenburg . (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/17537

Chicago Manual of Style (16th Edition):

Muller, Catherina Elizabeth. “'n Ondersoek na die rol van werkontleding in die uitvoering van funksionele personeelbedrywighede met verwysing na die Stadsraad van Lichtenburg .” 1997. Masters Thesis, University of South Africa. Accessed July 24, 2019. http://hdl.handle.net/10500/17537.

MLA Handbook (7th Edition):

Muller, Catherina Elizabeth. “'n Ondersoek na die rol van werkontleding in die uitvoering van funksionele personeelbedrywighede met verwysing na die Stadsraad van Lichtenburg .” 1997. Web. 24 Jul 2019.

Vancouver:

Muller CE. 'n Ondersoek na die rol van werkontleding in die uitvoering van funksionele personeelbedrywighede met verwysing na die Stadsraad van Lichtenburg . [Internet] [Masters thesis]. University of South Africa; 1997. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10500/17537.

Council of Science Editors:

Muller CE. 'n Ondersoek na die rol van werkontleding in die uitvoering van funksionele personeelbedrywighede met verwysing na die Stadsraad van Lichtenburg . [Masters Thesis]. University of South Africa; 1997. Available from: http://hdl.handle.net/10500/17537


University of South Africa

20. Nicholls, Michelle Lee. The validation of a test battery for the selection of call centre operators in a communications company .

Degree: 2009, University of South Africa

 The purpose of the research was to determine whether personality and measures of ability would significantly predict job performance of call centre operators in a… (more)

Subjects/Keywords: Selection; Validation; Pychometric testing; Personality assessment; Ability assessment; Concurrent validity; Call centre; Job analysis; Job description; Job specification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nicholls, M. L. (2009). The validation of a test battery for the selection of call centre operators in a communications company . (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/1087

Chicago Manual of Style (16th Edition):

Nicholls, Michelle Lee. “The validation of a test battery for the selection of call centre operators in a communications company .” 2009. Masters Thesis, University of South Africa. Accessed July 24, 2019. http://hdl.handle.net/10500/1087.

MLA Handbook (7th Edition):

Nicholls, Michelle Lee. “The validation of a test battery for the selection of call centre operators in a communications company .” 2009. Web. 24 Jul 2019.

Vancouver:

Nicholls ML. The validation of a test battery for the selection of call centre operators in a communications company . [Internet] [Masters thesis]. University of South Africa; 2009. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10500/1087.

Council of Science Editors:

Nicholls ML. The validation of a test battery for the selection of call centre operators in a communications company . [Masters Thesis]. University of South Africa; 2009. Available from: http://hdl.handle.net/10500/1087


University of South Africa

21. Van Coppenhagen, Ingrid H. M. From specification through refinement to implementation : a comparative study .

Degree: 2002, University of South Africa

 This dissertation investigates the role of specification, refinement and implementation in the software development cycle. Both the structured and object-oriented paradigms are looked at. Particular… (more)

Subjects/Keywords: Specification; Refinement; Implementation; Data refinement; Operation refinement; Operation decomposition; UML; Z; Object-Z; C; C++; Cobol; Object-Oriented Cobol; Software development life cycle; Structured; Object-oriented; Class; Object; Schema; Inheritence; Verification; Validation; Axiomatic description

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Van Coppenhagen, I. H. M. (2002). From specification through refinement to implementation : a comparative study . (Masters Thesis). University of South Africa. Retrieved from http://hdl.handle.net/10500/618

Chicago Manual of Style (16th Edition):

Van Coppenhagen, Ingrid H M. “From specification through refinement to implementation : a comparative study .” 2002. Masters Thesis, University of South Africa. Accessed July 24, 2019. http://hdl.handle.net/10500/618.

MLA Handbook (7th Edition):

Van Coppenhagen, Ingrid H M. “From specification through refinement to implementation : a comparative study .” 2002. Web. 24 Jul 2019.

Vancouver:

Van Coppenhagen IHM. From specification through refinement to implementation : a comparative study . [Internet] [Masters thesis]. University of South Africa; 2002. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10500/618.

Council of Science Editors:

Van Coppenhagen IHM. From specification through refinement to implementation : a comparative study . [Masters Thesis]. University of South Africa; 2002. Available from: http://hdl.handle.net/10500/618


Brno University of Technology

22. Roule, Jaroslav. Softwarová podpora pro projektování v elektroenergetice .

Degree: 2010, Brno University of Technology

 Práce pojednává o Softwarové podpoře pro projektování v elektroenergetice. V první kapitole se seznámíme s názvy jednotlivých firem a jejich softwarovými programy. Softwarové programy jsou… (more)

Subjects/Keywords: Sichr Wils Welv AutoCAD Bricscad V9 FLORLAN V10 progeCAD pit-CAD Verox KONCES OCEP ArchiPHYSIK OBO nkt doc ElProCAD ARCHline.XP 2008 SketechUP firma program modul panel legenda spotřebič vypínač zásuvka silnoproud rozvaděč kabel jištění inventarizace popis rozpočet specifikace hromosvod vedení oko svod uzemňovací odpor; Sichr Wils Welv AutoCAD BricscadV9 FLORLAN V10 progeCAD pit-CAD Verox KONCES OCEP ArchiPHYSIK OBO nkt doc ElProCAD ARCHline.XP 2008 SketechUP company program module panel legend appliance switch plug heavy current switch board cable protection enumeration description budget specification lightning conductor line eye downlead

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Roule, J. (2010). Softwarová podpora pro projektování v elektroenergetice . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/21079

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Roule, Jaroslav. “Softwarová podpora pro projektování v elektroenergetice .” 2010. Thesis, Brno University of Technology. Accessed July 24, 2019. http://hdl.handle.net/11012/21079.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Roule, Jaroslav. “Softwarová podpora pro projektování v elektroenergetice .” 2010. Web. 24 Jul 2019.

Vancouver:

Roule J. Softwarová podpora pro projektování v elektroenergetice . [Internet] [Thesis]. Brno University of Technology; 2010. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/11012/21079.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Roule J. Softwarová podpora pro projektování v elektroenergetice . [Thesis]. Brno University of Technology; 2010. Available from: http://hdl.handle.net/11012/21079

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

23. Roule, Jaroslav. Softwarová podpora pro projektování v elektroenergetice .

Degree: Brno University of Technology

 Práce pojednává o Softwarové podpoře pro projektování v elektroenergetice. V první kapitole se seznámíme s názvy jednotlivých firem a jejich softwarovými programy. Softwarové programy jsou… (more)

Subjects/Keywords: Sichr Wils Welv AutoCAD Bricscad V9 FLORLAN V10 progeCAD pit-CAD Verox KONCES OCEP ArchiPHYSIK OBO nkt doc ElProCAD ARCHline.XP 2008 SketechUP firma program modul panel legenda spotřebič vypínač zásuvka silnoproud rozvaděč kabel jištění inventarizace popis rozpočet specifikace hromosvod vedení oko svod uzemňovací odpor; Sichr Wils Welv AutoCAD BricscadV9 FLORLAN V10 progeCAD pit-CAD Verox KONCES OCEP ArchiPHYSIK OBO nkt doc ElProCAD ARCHline.XP 2008 SketechUP company program module panel legend appliance switch plug heavy current switch board cable protection enumeration description budget specification lightning conductor line eye downlead

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Roule, J. (n.d.). Softwarová podpora pro projektování v elektroenergetice . (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/21948

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Roule, Jaroslav. “Softwarová podpora pro projektování v elektroenergetice .” Thesis, Brno University of Technology. Accessed July 24, 2019. http://hdl.handle.net/11012/21948.

Note: this citation may be lacking information needed for this citation format:
No year of publication.
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Roule, Jaroslav. “Softwarová podpora pro projektování v elektroenergetice .” Web. 24 Jul 2019.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Roule J. Softwarová podpora pro projektování v elektroenergetice . [Internet] [Thesis]. Brno University of Technology; [cited 2019 Jul 24]. Available from: http://hdl.handle.net/11012/21948.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

Council of Science Editors:

Roule J. Softwarová podpora pro projektování v elektroenergetice . [Thesis]. Brno University of Technology; Available from: http://hdl.handle.net/11012/21948

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation
No year of publication.

24. Tay, Noel Nuo Wi. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.

Degree: 博士(工学), 2017, Tokyo Metropolitan University / 首都大学東京

首都大学東京, 2017-03-25, 博士(工学)

Subjects/Keywords: Smart home consists of various kinds of Internet of Tings (IoT) devices connected to the private house that cooperatively provide inhabitants (users) with proactive services related to comfort; security and safety. Examples of services include 1) manipulation of lighting and temperature based on time and context; 2) reminder service of user’s schedules by using the nearest output device; and 3) device organization to realize surveillance system. However; current smart homes are developed mostly from the viewpoint of technical capabilities; where users have to decide how the connected devices are going to serve them. They may have to setup the devices based on the available functionalities and specifications of the devices; and also have to alter their living styles according to the role of each device. Besides; most devices can only provide simple services independently. Œus; cooperation among the devices is important. On the other hand; human-centric approach; which centered on humans’ need to enhance their living experience; is an important technological paradigm where services are provided anywhere and anytime based on situation. Smart home abiding this approach should cooperatively maximize fulfillment of quality of life (QOL) for individual users subject to personal constraints. In this respect; the devices are bound to enable communication of information; and their operations are coordinated to deliver services cooperatively via a sequence of device actions called a plan. Due to personalization and automation; a number of problems have to be solved. First; a means of automatic binding between loosely coupled devices depending on services delivered have to be devised; as manual setup is impractical. Secondly; coordination of devices needs to generate complex plans; without requiring manual specification of sub-plans. Besides; issue of over-constrained goals during service provisions that arises from flawed or contradicting specification from multiple users should be considered. Apart from that; low training data in general environment setting for individual identification should be addressed. The aim of this research is to establish an integrated system for the human-centric smart home (HcSH) that provides personalized service through loosely coupled devices automatically. This research modularizes the overall system into three modules; which are human identification (HIM); automated planner (APM); and semantic reasoner (SRM). HIM helps select the appropriate QOL; SRM binds the devices by associating them with planning components; which are then used by APM to generate plans for device coordination to maximize QOL fulfillment. Chapter 1 gives the introduction and design motivation. Chapter 2 presents the related works and literature reviews; as well as justifications relevant to this thesis. Chapter 3 deals with HIM; which is realized via face identification. For face identification; problems faced are heavy computational load and insufficient learning data. The solution is to use transfer learning to handle data issue while being able to build generalized face model. For face model refinement; active learning is implemented. Experimental results show the method is competitive in terms of accuracy and computational cost compared to current state of the art. Chapter 4 presents APM; where planning via solving Constraint Satisfaction Problem (CSP) is laid out. CSP in planning is declarative without requiring prior specification of sub-plans; and can handle variables of larger domains. Due to the high possibility of having over-constrained QOL as in practical cases; CSP planner cannot fulfill all of them. An example is a contradicting TV channel request from 2 persons. Optimization through weighted CSP is therefore used to maximize QOL fulfillment. Experiments on weighted CSP shows that the method is capable of performing optimization while generating complex plans. Chapter 5 is on SRM; where knowledge representation is constructed by Web Ontology Language (OWL) description logic. It models knowledge on home and building layout and device functionalities. OWL is used because it is decidable and that it is endorsed by World Wide Web Consortium (W3C). We deal with case studies based on further inference on building state as an important example to discuss the applicability of the proposed method; and demonstrate the use of building ontology. This is followed by automated device binding and the method to generate basic planning components of rules in automated planning. Finally; an extension to robot complex planning is provided to demonstrate how it can be easily extended. Chapter 6 demonstrates the applicability of the HcSH; which integrates all three modules through its implementation in a prototype smart home with 5 rooms; which houses 2 persons. Various tests are performed to show the generated plans are near optimal without redundancy. Œe system is also shown to be scalable given increasing amount of devices. Case studies show that the system can perform well even under short time threshold. Finally; chapter 7 summarizes the thesis. Future vision of the work is also laid out; which is to implement it as a community-centric system.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tay, N. N. W. (2017). Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. (Thesis). Tokyo Metropolitan University / 首都大学東京. Retrieved from http://hdl.handle.net/10748/00009960

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Tay, Noel Nuo Wi. “Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.” 2017. Thesis, Tokyo Metropolitan University / 首都大学東京. Accessed July 24, 2019. http://hdl.handle.net/10748/00009960.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Tay, Noel Nuo Wi. “Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化.” 2017. Web. 24 Jul 2019.

Vancouver:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Internet] [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. [cited 2019 Jul 24]. Available from: http://hdl.handle.net/10748/00009960.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Tay NNW. Human-centric Semantic Reasoning and Optimization for Smart Home : スマートホームのための人間中心セマンティック推論と最適化. [Thesis]. Tokyo Metropolitan University / 首都大学東京; 2017. Available from: http://hdl.handle.net/10748/00009960

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.