-
1
-
-
84655170010
-
Model-based systems engineering: An emerging approach for modern systems
-
Jan.
-
A. L. Ramos, J. V. Ferreira, and J. Barcelo, "Model-based systems engineering: An emerging approach for modern systems," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 42, no. 1, pp. 101-111, Jan. 2012.
-
(2012)
IEEE Trans. Syst., Man, Cybern. C, Appl. Rev.
, vol.42
, Issue.1
, pp. 101-111
-
-
Ramos, A.L.1
Ferreira, J.V.2
Barcelo, J.3
-
2
-
-
0004081350
-
-
IEC International Standard IEC 61131-3, International Electrotechnical Commission
-
IEC International Standard: Programmable Controllers, Part 3: Programming Languages, IEC 61131-3, International Electrotechnical Commission, 2003.
-
(2003)
Programmable Controllers, Part 3: Programming Languages
-
-
-
3
-
-
80052107081
-
Towards a model-driven IEC 61131-based development process in industrial automation
-
K. Thramboulidis and G. Frey, "Towards a model-driven IEC 61131-based development process in industrial automation," J. Softw. Educ. Appl., vol. 4, no. 4, pp. 217-226, 2011.
-
(2011)
J. Softw. Educ. Appl.
, vol.4
, Issue.4
, pp. 217-226
-
-
Thramboulidis, K.1
Frey, G.2
-
4
-
-
84869447132
-
Usability evaluation on teaching and applying model-driven object-oriented approaches for PLC software
-
Montréal, Canada
-
B. Vogel-Heuser, S. Braun, M. Obermeier, F. Jobst, and K. Schweizer, "Usability evaluation on teaching and applying model-driven object-oriented approaches for PLC software," in Proc. ACC, Montréal, Canada, 2012, pp. 4463-4469.
-
(2012)
Proc. ACC
, pp. 4463-4469
-
-
Vogel-Heuser, B.1
Braun, S.2
Obermeier, M.3
Jobst, F.4
Schweizer, K.5
-
5
-
-
11144346707
-
A novel object-oriented environment for distributed process control systems
-
DOI 10.1016/j.conengprac.2004.03.007, PII S0967066104000553
-
D. N. Ramos-Hernandez, P. J. Fleming, and J. M. Bass, "A novel object-oriented environment for distributed process control systems," Control Eng. Prac., vol. 13, no. 2, pp. 213-230, 2005. (Pubitemid 40032236)
-
(2005)
Control Engineering Practice
, vol.13
, Issue.2
, pp. 213-230
-
-
Ramos-Hernandez, D.N.1
Fleming, P.J.2
Bass, J.M.3
-
6
-
-
51849108148
-
Verification and implementation of dependable controllers
-
Szklarska Poreba, Poland Jun.
-
K. Sacha, "Verification and implementation of dependable controllers," in Proc. DepCoS-RELCOMEX, Szklarska Poreba, Poland, Jun. 2008, pp. 143-151.
-
(2008)
Proc. DepCoS-RELCOMEX
, pp. 143-151
-
-
Sacha, K.1
-
7
-
-
79961090779
-
Combining UML with IEC 61131-3 languages to preserve the usability of graphical notations in the software development of complex automation systems
-
Seoul, Korea Sep.
-
U. Katzke and B. Vogel-Heuser, "Combining UML with IEC 61131-3 languages to preserve the usability of graphical notations in the software development of complex automation systems," in Proc. IFACHMS, Seoul, Korea, Sep. 2007, pp. 90-94.
-
(2007)
Proc. IFACHMS
, pp. 90-94
-
-
Katzke, U.1
Vogel-Heuser, B.2
-
8
-
-
84866773078
-
PLC-statecharts:An approach to integrate UML-statecharts in open-loop control engineering-Aspects on behavioral semantics and model-checking
-
Milan, Italy
-
D.Witsch and B.Vogel-Heuser, "PLC-statecharts:An approach to integrate UML-statecharts in open-loop control engineering-Aspects on behavioral semantics and model-checking," in Proc. 18th IFAC World Congress, Milan, Italy, 2011, pp. 7866-7872.
-
(2011)
Proc. 18th IFAC World Congress
, pp. 7866-7872
-
-
Witsch, D.1
Vogel-Heuser, B.2
-
9
-
-
36049005948
-
Automatic generation of PLC automation projects from component-based models
-
DOI 10.1007/s00170-007-1127-4
-
E. Estévez, M. Marcos, and D. Orive, "Automatic generation of PLC automation projects from component-based models," Int. J. Adv. Manuf. Tech., vol. 35, no. 6, pp. 527-540, 2007. (Pubitemid 350098197)
-
(2007)
International Journal of Advanced Manufacturing Technology
, vol.35
, Issue.5-6
, pp. 527-540
-
-
Estevez, E.1
Marcos, M.2
Orive, D.3
-
10
-
-
80052622398
-
A SysML-based methodology for manufacturing machinery modeling and design
-
Dec.
-
L. Bassi, C. Secchi, M. Bonfé, and C. Fantuzzi, "A SysML-based methodology for manufacturing machinery modeling and design," IEEE/ASME Trans. Mechatron., vol. 16, no. 6, pp. 1049-1062, Dec. 2011.
-
(2011)
IEEE/ASME Trans. Mechatron.
, vol.16
, Issue.6
, pp. 1049-1062
-
-
Bassi, L.1
Secchi, C.2
Bonfé, M.3
Fantuzzi, C.4
-
11
-
-
46449128856
-
Benefit of system modeling in automation and control education
-
New York, NY
-
D. Friedrich and B. Vogel-Heuser, "Benefit of system modeling in automation and control education," in Proc. ACC, New York, NY, 2007, pp. 2497-2502.
-
(2007)
Proc. ACC
, pp. 2497-2502
-
-
Friedrich, D.1
Vogel-Heuser, B.2
-
12
-
-
84864683618
-
A project-based learning approach to programmable logic design and computer architecture
-
Aug.
-
C. M. Kellett, "A project-based learning approach to programmable logic design and computer architecture," IEEE Trans. Educ., vol. 55, no. 3, pp. 378-383, Aug. 2012.
-
(2012)
IEEE Trans. Educ.
, vol.55
, Issue.3
, pp. 378-383
-
-
Kellett, C.M.1
-
13
-
-
0032204536
-
A cost-effective approach for the development of an integrated PC-PLC-robot system for industrial engineering education
-
PII S0018935998084064
-
C. A. Chung, "A cost-effective approach for the development of an integrated PC-PLC-robot system for industrial engineering education," IEEE Trans. Educ., vol. 41, no. 4, pp. 306-310, Nov. 1998. (Pubitemid 128737551)
-
(1998)
IEEE Transactions on Education
, vol.41
, Issue.4
, pp. 306-310
-
-
Chung, C.A.1
-
14
-
-
0012577853
-
Computing curriculum 2001
-
IEEE-CS/ACM Rep.
-
J. Cross and P. Denning, "Computing curriculum 2001," Joint Curriculum Task Force, IEEE-CS/ACM Rep., 2001 [Online]. Available: http://www.acm.org/education/curric-vols/cc2001.pdf
-
(2001)
Joint Curriculum Task Force
-
-
Cross, J.1
Denning, P.2
-
15
-
-
2642569977
-
-
ACM, New York, NY, 2nd ed
-
A. Tucker, "A model curriculum for K-12 computer science: Final report of the ACM K-12 Task Force Curriculum Committee," ACM, New York, NY, 2nd ed., 2006.
-
(2006)
A Model Curriculum for K-12 Computer Science: Final Report of the ACM K-12 Task Force Curriculum Committee
-
-
Tucker, A.1
-
16
-
-
0040858550
-
Five paradigms in the psychology of programming
-
M. Helander, Ed. Amsterdam, The Netherlands: Elsevier ch. 4
-
B. Curtis, "Five paradigms in the psychology of programming," in Handbook of Human-Computer Interaction, M. Helander, Ed. Amsterdam, The Netherlands: Elsevier, 1988, ch. 4, pp. 87-105.
-
(1988)
Handbook of Human-Computer Interaction
, pp. 87-105
-
-
Curtis, B.1
-
17
-
-
84860657675
-
Student usage patterns and perceptions for differentiated lab exercises in an undergraduate programming course
-
May
-
H. N. Mok, "Student usage patterns and perceptions for differentiated lab exercises in an undergraduate programming course," IEEE Trans. Educ., vol. 55, no. 2, pp. 213-217, May 2012.
-
(2012)
IEEE Trans. Educ.
, vol.55
, Issue.2
, pp. 213-217
-
-
Mok, H.N.1
-
18
-
-
0008186810
-
Aprocess model for missionaries-cannibals and other river-crossing problems
-
R.P. Jeffries,A.A. Turner,P.G.Polson, andM. E. Atwood, "Aprocess model for missionaries-cannibals and other river-crossing problems," Cogn. Psychol., vol. 9, no. 4, pp. 412-440, 1977.
-
(1977)
Cogn. Psychol.
, vol.9
, Issue.4
, pp. 412-440
-
-
Jeffries, R.P.1
Turner, A.A.2
Polson, P.G.3
Atwood, M.E.4
-
19
-
-
0036060080
-
Quantitative and qualitative comparisons of PLC programs for small test bed with focus on human issues
-
M. R. Lucas and D. M. Tilbury, "Quantitative and qualitative comparisons of PLC programs for small test bed with focus on human issues," in Proc. AAC, 2002, pp. 4165-4171.
-
(2002)
Proc. AAC
, pp. 4165-4171
-
-
Lucas, M.R.1
Tilbury, D.M.2
-
20
-
-
24144466475
-
Methods of measuring the size and complexity of PLC programs in different logic control design methodologies
-
DOI 10.1007/s00170-003-1996-0
-
M. R. Lucas and D. M. Tilbury, "Methods of measuring the size and complexity of PLC programs in different logic control design methodologies," Int. J. Adv. Manuf. Tech., vol. 26, pp. 436-447, 2005. (Pubitemid 41241804)
-
(2005)
International Journal of Advanced Manufacturing Technology
, vol.26
, Issue.5-6
, pp. 436-447
-
-
Lucas, M.R.1
Tilbury, D.M.2
-
21
-
-
0028728159
-
Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system
-
Dec.
-
K. Vankatesh, M. Zhou, and R. J. Caudill, "Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 611-619, Dec. 1994.
-
(1994)
IEEE Trans. Ind. Electron.
, vol.41
, Issue.6
, pp. 611-619
-
-
Vankatesh, K.1
Zhou, M.2
Caudill, R.J.3
-
22
-
-
0035719836
-
A new approach to evaluate ladder diagrams and Petri nets via the if-then transformation
-
Tucson, AZ
-
J. S. Lee and P. L. Hsu, "A new approach to evaluate ladder diagrams and Petri nets via the if-then transformation," in Proc. IEEE Conf. SMC, Tucson, AZ, 2001, pp. 2711-2716.
-
(2001)
Proc. IEEE Conf. SMC
, pp. 2711-2716
-
-
Lee, J.S.1
Hsu, P.L.2
-
23
-
-
73449105352
-
A constructivism-based approach to teach objectoriented programming
-
K. Thramboulidis, "A constructivism-based approach to teach objectoriented programming," J. IEE, vol. 4, no. 2, pp. 1-11, 2003.
-
(2003)
J. IEE
, vol.4
, Issue.2
, pp. 1-11
-
-
Thramboulidis, K.1
-
24
-
-
84881371417
-
Teaching advanced programming concepts in introductory computing courses: A constructivism based approach
-
Valencia, Spain
-
K. Thramboulidis, "Teaching advanced programming concepts in introductory computing courses: A constructivism based approach," in Proc. ICEE, Valencia, Spain, 2003 [Online]. Available: http://www. ineer.org/events/icee2003/proceedings/pdf/5045.pdf
-
(2003)
Proc. ICEE
-
-
Thramboulidis, K.1
-
25
-
-
84881375219
-
Utilizing LEGOMindstorms as a teaching platform for industrial automation
-
C. Oates and A. Zoitl, "Utilizing LEGOMindstorms as a teaching platform for industrial automation," in Proc. RiE, 2010, pp. 31-36.
-
(2010)
Proc. RiE
, pp. 31-36
-
-
Oates, C.1
Zoitl, A.2
-
26
-
-
60549092513
-
Introduction for freshmen to embedded systems using LEGO Mindstorms
-
Feb.
-
S. H. Kim and J. W. Jeon, "Introduction for freshmen to embedded systems using LEGO Mindstorms," IEEE Trans. Educ., vol. 52, no. 1, pp. 99-108, Feb. 2009.
-
(2009)
IEEE Trans. Educ.
, vol.52
, Issue.1
, pp. 99-108
-
-
Kim, S.H.1
Jeon, J.W.2
-
27
-
-
79954433754
-
Minimally invasive programming courses: Learning OOP with(out) instruction
-
M. Berges and P. Hubwieser, "Minimally invasive programming courses: Learning OOP with(out) instruction," in Proc. SIGCSE, 2011, pp. 87-92.
-
(2011)
Proc. SIGCSE
, pp. 87-92
-
-
Berges, M.1
Hubwieser, P.2
-
28
-
-
33144482706
-
Impact of preprogramming course curriculum on learning in the first programming course
-
DOI 10.1109/TE.2005.852593
-
R. Faux, "Impact of preprogramming course curriculum on learning in the first programming course," IEEE Trans. Educ., vol. 49, no. 1, pp. 11-15, Feb. 2006. (Pubitemid 43264170)
-
(2006)
IEEE Transactions on Education
, vol.49
, Issue.1
, pp. 11-15
-
-
Faux, R.1
-
29
-
-
33646492833
-
Introducing design skills at the freshman level: Structured design experience
-
May
-
M. L. Jacobson, R. A. Said, and H. Rehman, "Introducing design skills at the freshman level: Structured design experience," IEEE Trans. Educ., vol. 49, no. 2, pp. 247-253, May 2006.
-
(2006)
IEEE Trans. Educ.
, vol.49
, Issue.2
, pp. 247-253
-
-
Jacobson, M.L.1
Said, R.A.2
Rehman, H.3
-
30
-
-
79551621977
-
Enhancing learning in introductory computer science courses through SCALE: An empirical study
-
Feb.
-
I. Verginis, A. Gogoulou, E. Gouli, M. Boubouka, andM. Grigoriadou, "Enhancing learning in introductory computer science courses through SCALE: An empirical study," IEEE Trans. Educ., vol. 54, no. 1, pp. 1-13, Feb. 2011.
-
(2011)
IEEE Trans. Educ.
, vol.54
, Issue.1
, pp. 1-13
-
-
Verginis, I.1
Gogoulou, A.2
Gouli, E.3
Boubouka, M.4
Grigoriadou, M.5
-
31
-
-
84881373206
-
A categorization of novice programmers: A cluster analysis study
-
Joensuu, Finland Jul. 2-6
-
E. Lahtinen, J. Sajaniemi, M. Tukiainen, R. Bednarik, and S. Nevalainen, Eds., "A categorization of novice programmers: A cluster analysis study," in Proc. 19th Annu. Workshop PPIG, Joensuu, Finland, Jul. 2-6, 2007, pp. 32-41.
-
(2007)
Proc. 19th Annu. Workshop PPIG
, pp. 32-41
-
-
Lahtinen, E.1
Sajaniemi, J.2
Tukiainen, M.3
Bednarik, R.4
Nevalainen, E.S.5
-
32
-
-
0038623142
-
Experiences in threading UML throughout a computer science program
-
May
-
A. S. Ruocco, "Experiences in threading UML throughout a computer science program," IEEE Trans. Educ., vol. 46, no. 2, pp. 226-228, May 2003.
-
(2003)
IEEE Trans. Educ.
, vol.46
, Issue.2
, pp. 226-228
-
-
Ruocco, A.S.1
-
33
-
-
84877574916
-
Exploring the educational benefits of introducing aspect-oriented programming into a programming course
-
to be published
-
I. Boticki, M. Katic, and S. Martin, "Exploring the educational benefits of introducing aspect-oriented programming into a programming course," IEEE Trans. Educ., 2012, to be published.
-
(2012)
IEEE Trans. Educ.
-
-
Boticki, I.1
Katic, M.2
Martin, S.3
-
34
-
-
84864987049
-
Teaching UML skills to novice programmers using a sample solution based intelligent tutoring system
-
Marco Island, FL
-
J. Schramm, S. Strickroth, N.-T. Le, and N. Pinkwart, "Teaching UML skills to novice programmers using a sample solution based intelligent tutoring system," in Proc. 25th Int. Conf. FLAIRS, Marco Island, FL, 2012, pp. 472-477.
-
(2012)
Proc. 25th Int. Conf. FLAIRS
, pp. 472-477
-
-
Schramm, J.1
Strickroth, S.2
Le, N.-T.3
Pinkwart, N.4
-
35
-
-
77955470096
-
Debugging fromthe student perspective
-
Aug.
-
S. Fitzgerald, R. McCauley, B. Hanks, L. Murphy, B. Simon, and C. Zander, "Debugging fromthe student perspective," IEEE Trans. Educ., vol. 53, no. 3, pp. 390-396, Aug. 2010.
-
(2010)
IEEE Trans. Educ.
, vol.53
, Issue.3
, pp. 390-396
-
-
Fitzgerald, S.1
McCauley, R.2
Hanks, B.3
Murphy, L.4
Simon, B.5
Zander, C.6
-
36
-
-
77954918656
-
Competencies for informatics systems and modeling. Results of qualitative content analysis of expert interviews
-
Madrid, Spain
-
J. Magenheim, W. Nelles, T. Rhode, N. Schaper, S. Schubert, and P. Stechert, "Competencies for informatics systems and modeling. Results of qualitative content analysis of expert interviews," in Proc. IEEE EDUCON, Madrid, Spain, 2010, pp. 513-521.
-
(2010)
Proc. IEEE EDUCON
, pp. 513-521
-
-
Magenheim, J.1
Nelles, W.2
Rhode, T.3
Schaper, N.4
Schubert, S.5
Stechert, P.6
-
37
-
-
84978958403
-
Blooms' taxonomy: A framework for assessing programmers' knowledge of software systems
-
J. Buckley and C. Exton, "Blooms' taxonomy: A framework for assessing programmers' knowledge of software systems," in Proc. 11th IEEE IWPC, 2003, pp. 165-174.
-
(2003)
Proc. 11th IEEE IWPC
, pp. 165-174
-
-
Buckley, J.1
Exton, C.2
-
38
-
-
84881375058
-
Towards amodel of cognitive process in logical design comparing object-oriented and traditional functional decomposition software methodologies
-
J. Kim and F. J. Lerch, "Towards amodel of cognitive process in logical design comparing object-oriented and traditional functional decomposition software methodologies," in Proc. ACM CHI, pp. 489-498.
-
Proc. ACM CHI
, pp. 489-498
-
-
Kim, J.1
Lerch, F.J.2
-
40
-
-
65249130500
-
A practical guide to testing the understandability of notations
-
Wollongon, Australia
-
S. Patig, "A practical guide to testing the understandability of notations," in Proc. 5th APCCM, Wollongon, Australia, 2008, pp. 49-58.
-
(2008)
Proc. 5th APCCM
, pp. 49-58
-
-
Patig, S.1
-
41
-
-
84885230553
-
Preparing meta-analysis of metamodel understandability
-
Toulouse, France
-
S. Patig, "Preparing meta-analysis of metamodel understandability, " in Proc. Workshop ESMD, Toulouse, France, 2008, pp. 11-20.
-
(2008)
Proc. Workshop ESMD
, pp. 11-20
-
-
Patig, S.1
-
42
-
-
25844485960
-
A framework for empirical evaluation of conceptual modeling techniques
-
DOI 10.1007/s00766-004-0204-6, Evaluation of Modeling Methods in Systems Analysis and Design
-
A. Gemino and Y. Wand, "A framework for empirical evaluation of conceptual modeling techniques," Requirements Eng., vol. 09, pp. 248-260, 2004. (Pubitemid 39660033)
-
(2004)
Requirements Engineering
, vol.9
, Issue.4
, pp. 248-260
-
-
Gemino, A.1
Wand, Y.2
|